数学基礎論では、公理は証明可能だったような