>>550
＞結局、数学とはこうこうこういうものだと
＞言いきれるような結論ってないんですか？

上記の文章中の「数学」を「論理」に置き換えた場合にも
結論は存在しないといっていい。

古典論理と直観主義論理の違いなんて今や目糞鼻糞の違いでしかない。
部分構造論理は、「論理は一つだ」という常識を木端微塵に破壊した。
あれほど簡単な方法で、非常識極まりないものが生まれるなんて、
実にエキサイティングじゃないか。興奮しない奴は感覚が鈍磨してる。