Rosser consistency avoids Gödel's self-referential diagonalization by using non-standard orderings, ...
This proposition has not been edited since the history system was added.