Independence results show that PA's axioms don't capture all truths about finite structures, reveali...
This proposition has not been edited since the history system was added.