数学の面白い話聞かせて #2

語弊がある文章だから気をつけてね
ゲーテルの第一不完全性定理によれば
証明出来ない命題ってのがあるんだけど
それの具体例として最初に（多分）提出されたのが
関係R（a,b）をaとbがめちゃくちゃ離れてることって定めると
めちゃくちゃ離れてるって条件から
他の如何なる関数によっても
aとbの関係について語ることが出来なくなって
これに関する証明は不可能ってのがある

個人的にすごく好きな話