Assertion: logic's theorem | /r/CapableOf | hold for any argument
Facets:
Source sentences:
text: Suppose that \(n\gt 0\) is a natural number, and that the theorem holds for any argument that was derived using fewer than \(n\) rules.
text: Suppose that \(n\) is a natural number, and that the theorem holds for any argument that was derived using fewer than \(n\) rules.
text: So let \(n\) be a natural number, and assume that the theorem holds for any argument established as deductively valid with fewer than \(n\) steps.