Assertion: contradiction | /r/HasProperty | disastrous
Facets:
Source sentences:
text: Thus a contradiction in a formal axiomatic system is disastrous; since any theorem can be proven true, it destroys the conventional meaning of truth and falsity.