Assertion: logic's theorem | /r/CapableOf | enjoy internalization
Facets:
Source sentences:
text: Theorem 1: For each axiomatically appropriate constant specification \(CS\), J\(_{CS}\) enjoys Internalization: