>>275
以降、ウソっぱちと妄想を撒き散らすなよ。

何を定義し、何を問題にするかが数学であって、そこがきちんと出来ていれば「一部の定理が自動証明される」のは当然だが、それで「数学=100％論理操作」とはならない。それは数学のごく一部だ。