数体系を用意する → ある命題を用意する。『この命題は証明を持たない』 → その
命題を数に変換する → もとの数体系に突っ込む → 証明も反証もできない命題の
存在が***厳密な数学の証明として***示される