数学と哲学

>>http://science6.2ch.net/test/read.cgi/math/1209190928/304
＞要は直観主義と公理主義の論争だろ。
違う。Goedelなどの実在論と、それに反対する立場の論争の話。
これはオーバーラップはするが別で、反実在論云々はもう少し広い話。
直観主義は反実在論的で、Hilbertがそれに反対だったというのは確かだけどね。

それから「公理主義」という言葉は、（少なくとも、直観主義や論理主義と対立する
Hilbertらの立場を表す用語としては）日本以外では使われない。
公理主義、形式主義、証明論、構造主義
http://www.shayashi.jp/HistorySociology/HistoryOfFOM/Axiomatik/axiomatism.html
を参照。公理主義と形式主義を区別しましょうなんて言う話も書いてある。

なんか>>660でガイシュツだったっぽいが。