ゲーデルの方法は極度に巧妙なものだが、その基礎になる考えは、
超数学的陳述と、形式化された数論の或る命題との間に、一対
一対応を（もちろん≪有限的手続き≫によって）作ることにある。