子供たちは、春休み中はおばあちゃんちに“疎開”していたのですが：次男：「おばあちゃんちのほうのスーパーに、いちパック5円のカイワレダイコンがあったんだよ」父親：「ひえーっ、それムチャクチャ安いな」次男：「10パック買っても50円」父親：「1000パッ…

「「わたしはウソをつきません」と言い張る命題やプログラムを書けるのか？」に概略を書いたような枠組み、そのアイディアはゲーデルによるものです。ゲーデル以前にも同じようなことを考えた人はいたかもしれませんが、明白に確実に自己言及の構造を把握し…