Assertion: order logic | /r/HasProperty | undecidable
Facets:
Source sentences:
text: For instance, first-order logic is undecidable, meaning a sound, complete and terminating decision algorithm for provability is impossible.