00:00 いずれにしても、「自然数論を必要とする帰納的に記述される公理系は、たとえ自分が無矛盾であってもその無矛盾性を証明できない」というのは知られた話であって、そうでなくても、理論が理論自身の完璧さを説明できるとは思ってないので、どっちみち…