数学とプログラミングはわりかし根本的に違うので、
俺はてっきりプログラミングの世界に、
ゲーデル級の何かが存在していたのかなと思ってたんだけど
>>301-304くらいの流れにならないと何のことかも見当がつかない