無矛盾性が破綻とか
整合性があるってことにならない？