Assertion: arithmetic | /r/HasProperty | inconsistent
Facets:
Source sentences:
text: However, since ~G means that arithmetic is inconsistent, the result will not be ω-consistent (because ~G is false and this violates ω-consistency).