Assertion: logic's theorem | /r/HasProperty | provable
Facets:
Source sentences:
text: Theorem 2: A formula \(X\) is provable in \(\mathsf{J}_{CS}\) if and only if \(X\) is valid in all \(\mathsf{J}_{CS}\) models.