>>6
実数の公理から出発してもそれを満たす集合の存在は証明されない
こんなことは学部生はおろか高校生でも分かること
したがって、

>○○論って普通公理から出発しない?

などと思ってる人は大学数学を理解できていない可能性が高い