Assertion: ω consistency | /r/HasAspect | following characterization
Facets:
Source sentences:
text: If the theory T is recursively axiomatizable, ω-consistency has the following characterization, due to C. Smoryński: