23/11/25 23:09:55.37 lNUkB2S+.net
>>26
ヒルベルトプログラムのとこも揚げ足取りみたいな話だけどな
数学の無矛盾性を示すために公理や論理式などを使って数学を再構築するってことなんだから、構築って言葉にそこまで文句つける必要ないと思うが
23/11/25 23:09:55.37 lNUkB2S+.net
>>26
ヒルベルトプログラムのとこも揚げ足取りみたいな話だけどな
数学の無矛盾性を示すために公理や論理式などを使って数学を再構築するってことなんだから、構築って言葉にそこまで文句つける必要ないと思うが