数学基礎論

すべての数学の土台となる｢命題｣の論理についてまとめた．命題論理学における命題は，次のように説明される．定義11正しいか正しくないかが客観的に判断できる主張を命題(proposition)という．命題が正しいとき，その命題は真(true)で...