数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■48365 / 親記事)  数学では循環する定義・公理は許されていますか
  
□投稿者/ beginner 一般人(1回)-(2017/10/22(Sun) 20:54:58)
    ZFCなどの公理的集合論では公理は述語論理で書かれていますよね
    そして述語論理を構成するには真理値という真と偽の二要素からなる集合が必要なようです
    述語論理を構成するには集合論が必要で集合論を構成するには述語論理が必要で...と鶏と卵どっちが先かみたいな話にはならないのですか
    形式主義ではそのようなことが解決されるのですか
    やはり数学理論を構成するには数学から見て外側の言語(英語などの自然言語や人間の思考規則や文字)が必要なのでしょうか
引用返信/返信 [メール受信/OFF] 削除キー/
■48366 / ResNo.1)  Re[1]: 数学では循環する定義・公理は許されていますか
□投稿者/ beginner 一般人(2回)-(2017/10/22(Sun) 21:02:33)
    ごめんなさいこの質問は既に答えがあったようです
解決済み!
引用返信/返信 [メール受信/OFF] 削除キー/



スレッド内ページ移動 / << 0 >>

このスレッドに書きこむ

Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター