パラドックスの回避しつつ自己言及を可能にするテクニック(ゲーデル数)は「証明の詳細」を参照.
証明の