| ■48365 / inTopicNo.1) |
数学では循環する定義・公理は許されていますか
|
□投稿者/ beginner 一般人(1回)-(2017/10/22(Sun) 20:54:58)
 | ZFCなどの公理的集合論では公理は述語論理で書かれていますよね
そして述語論理を構成するには真理値という真と偽の二要素からなる集合が必要なようです
述語論理を構成するには集合論が必要で集合論を構成するには述語論理が必要で...と鶏と卵どっちが先かみたいな話にはならないのですか
形式主義ではそのようなことが解決されるのですか
やはり数学理論を構成するには数学から見て外側の言語（英語などの自然言語や人間の思考規則や文字）が必要なのでしょうか
|
|