Vocabulary

無矛盾性

consistency (of an axiomatic system)

noun