>>185
無矛盾性は証明できうるけど