ただ、これはゲーデルも言ってたことだけど、一度、ある公理を選択してしまえば、
そこからは演繹なり、そこから証明される定理があるのみで、独断論的となる、
あるいは、創造性を駆使出来る ような自由は、数学には全然ないと述べていたよ。
つまり、数学は想像でも信仰でもなく、厳密な手続きという観点だね。