＞命題論理のコンパクト性定理：
＞理論Tの任意の有限部分集合Aの命題がトートロジー⇒Tの命題はトートロジー。
これをふざけてないといわずしてなんと言おうか。