現行の“数理論理学”（フレーゲアン理論・ゲンツェンのＬＫ）は、完全に、間違っていたのだ。