Assertion: logic's theorem | /r/HasProperty | proved
Facets:
Source sentences:
text: Curiously, while the logic \(\mathsf{S4LP}\) seems quite natural, a Realization Theorem has been problematic for it: no such theorem can be proved if one insists on what are called normal realizations (Kuznets 2010).
text: Ordinal numbers are thus defined exactly as natural numbers, as classes of similar classes, in such a way that all the desired theorems can be proved.