>>99
人によっては、人間の存在とは全く別個に数学的現象の実在を信じ、
実在する数学的現象を人間が記述する事が数学である、と思ってる人もいる。
そういう人にとっては、公理ってのは人間が後から取ってきた一つの言語に過ぎないし、
ZFCか型の理論かそれら以外かとかもどうでもいい事。

ゼータの実在を信じてる人も。