Hilbert-Bernays無矛盾文
#無矛盾性を表す文