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