Mathematical truths like 2+2=4 remain valid across Peano arithmetic, ZFC, and category theory despit...
This proposition has not been edited since the history system was added.