03/12/07 18:05
現代数学は集合論の上に成り立っている。だから、集合論の公理からすべて
の数学は演繹できると言っていいだろう。ところが、これを厳密に述べて
集合論を展開しているのは基礎論の本くらいしかない。何故なら、素朴集合論
で通常は十分だからだ。だから、基礎論以外の数学書には普通公理は書いてない。
仮に集合論以外の公理（例えば実数の公理）が書いてあっても、それは、集合論
を基礎にしている以上、集合論の公理から導けるはずだから、この意味でそれは
公理ではない。結論として、>>496は数学を知らない。