しかし>>177のレスは、まるで
形式的証明以外はすべてただの説明である、証明に非ず
って暗に言ってるような感じで一寸違和感があるな、、

直観が混じった証明か、原理的に論理規則と公理だけからできる証明かは
数学者だったら簡単に区別くらいつけられる