>｡” 私は数学は独学だが、全ての定理の証明をチェックしてきました。”
>言っていることが奇妙だとおもいませんか？

奇妙ではない。「自分が勉強した」定理と、あとで断っている。
数学の定理の全てではない。
それに、普通はチェックできない論理式を自分の中で定理とは認めない。

＞現実的に不可能ということは、事実として不可能ということです

数学の理論の形式化・論理体系の記号の有限系列での表現は、
実質的には可能。ブルバキの著書での集合論がその典型的な例。
記号や言葉で表現されていなければ、我々はその論理体系を認識できない。