Specker's result demonstrates type theory can serve as rigorous alternative foundation without infin...
This proposition has not been edited since the history system was added.