無矛盾性を表す文