あれって実際ゲーデルがいなかったら見つけられなかったレベルのものなん?
ノイマンとか見つけそうやん