Assertion: infinitary logic | /r/HasProperty | l ω
Facets:
Source sentences:
text: The most well studied infinitary logic is L ω 1 , ω {\displaystyle