公理の証明可能性について辿り着くのにあと何十年かかるんだろうな、このオッサンは。
総合大学入れば一年以内くらいでやる事なのに。