Assertion: logic's theorem | /r/HasProperty | tautology
Facets:
Source sentences:
text: An axiomatic system is sound if every theorem is a tautology.