公理は証明のできない仮定とか前提だとよく言われる。しかし、現代の証明概念では公理も証明できるとされる。なぜかというと、理論θにおける証明は、θ の言語の文から成る列であり、その列のひとつひとつが、 θ の公理であるか その列において先立つ文から、…