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