>>64-66　レスサンクス。

そうかでは、数学自体は数学が無矛盾な公理系であることを証明できないのか。