>>195
ガイジ発見
自然数で成り立つものは当然ながら実数や複素数に拡張可能
実際にゲーデル不完全性定理と同等のものを実数まで拡張したものは沢山ある
拡張できる事は自明だからゲーデルはとりあえず自然数の算術上でやっただけ