Assertion: logic's theorem | /r/CapableOf | hold for formula
Facets:
Source sentences:
text: Assume, then, that the theorem holds for all formulas less complex than \(\theta\).