Gödel numbering
矛盾を「formula_63」で表し、「formula_63」のゲーデル数をformula_65とする。すると、「自然数論の体系内で自然数論の無矛盾性を証明できる」という言説を