hasUndecidableStatement
P54445
predicate
Indicates that a formal system or theory possesses at least one statement whose truth or falsity cannot be determined within that system using its axioms and rules of inference.