>>617
＞形式主義は、永遠のいたちごっこ。しかし、
＞それが無意味だと思わない。
というか、普通の数学にも終わりがないわけだから、
どちらにしても、数学は永遠のいたちごっこ。でも
それでいいｗｗｗ