0863考える名無しさん垢版 | 大砲2018/05/20(日) 23:15:30.860 ただ、これはゲーデルも言ってたことだけど、一度、ある公理を選択してしまえば、 そこからは演繹なり、そこから証明される定理があるのみで、独断論的となる、 あるいは、創造性を駆使出来る ような自由は、数学には全然ないと述べていたよ。 つまり、数学は想像でも信仰でもなく、厳密な手続きという観点だね。