無限個の対象を扱う「形式的」理論とその論理てえのは、
その形式的理論のあらゆる解釈に共通の真理を導くことは
出来るが、或る特定の解釈のもとでのあらゆる真理は導け
ないという「感じ」でどう？　そんなの当たり前じゃんと
言う人がいそうだが、その「形式的」理論が「自然数」を
キッチリ定義したかたちの理論だよ、と言われると、
「エッ？」と思わない？
「形式的」の意味も、数学科の教授でも分ってない人が多い
だろう。