18/01/03 13:21:53.33 4sCAeViC.net
形式的体系の目的は数学を形式化して初めて扱えるようになる問題（証明不可能性、無矛盾性）
「正しい」とか「正しくない」とかは無関係
ヒルベルトが形式的体系と無矛盾性証明にこだわったのは、無矛盾でありさえすれば存在を認めるという哲学的立場であるため
形式的体系そのものが数学の存在や正しさを保証するわけではない
18/01/03 13:21:53.33 4sCAeViC.net
形式的体系の目的は数学を形式化して初めて扱えるようになる問題（証明不可能性、無矛盾性）
「正しい」とか「正しくない」とかは無関係
ヒルベルトが形式的体系と無矛盾性証明にこだわったのは、無矛盾でありさえすれば存在を認めるという哲学的立場であるため
形式的体系そのものが数学の存在や正しさを保証するわけではない