Assertion: external consistency | /r/CapableOf | consist in the unprovability
Facets:
Source sentences:
text: External consistency consists in the unprovability in a given theory of any sentence contradicting (in the ordinary intuitive sense) the facts of the “reality” described by the theory.