>>500
如何なる公理系も公理系内部の無矛盾を示す事はできない