Rosser's predicate captures consistency by formalizing the absence of contradictory proofs, which is...
This proposition has not been edited since the history system was added.