Assertion: consistency | /r/HasProperty | proved
Facets:
value: from within the system
type: LOCATION
Source sentences:
text: The following table contains examples of consistent estimators (with links to lectures where consistency is proved).
text: Let p stand for the undecidable sentence constructed above, and assume that the consistency of the system can be proved from within the system itself.