>>526>>551
気にしない方が良いよ
このスレの書き込みはなんかずれてる

で、20世紀以降の数学の流れについて書いてく
（わからないことがあったらレスポンスしてほしい
19世紀頃、非ユークリッド幾何が登場して数学の公理の恣意性が示された
つまりはじめに設定するのがなんでもＯＫってこと
20世紀はじめにはカントールの集合論が登場し、それをツェルメロが引き継いだ
いわゆるＺＦの完成
一方でヒルベルト計画で全数学をいくつかの公理から生成する計画が立てられたが
すぐにゲーデルの不完全性定理により破綻、
その後コーエンが強制法を考案して選択公理がＺＦと独立だと証明した
選択公理の存在はいくつもの数学の定理の証明に必要だった
んでその後いくつもの数学の定理がＺＦＣから証明できないことが判明して
次々ととてつもない大きさの基数というものをＺＦＣに追加してった