Weak formal systems have inherent limitations; conclusions about exponentiation drawn only within th...
This proposition has not been edited since the history system was added.