Gentzen's 1936 transfinite induction on ordinals presupposes that the ordering principle itself is w...
This proposition has not been edited since the history system was added.