Assertion: order logic | /r/CapableOf | allow formulas of infinite length
Facets:
Source sentences:
text: Infinitary logic generalizes first-order logic to allow formulas of infinite length.