>>62
ゲーデルの話は自分も分かってないので大丈夫です。
調べ方は系譜雑談さんが得意なので、真似すると良いですよ。