Mathematical theorems are derivable from axioms in principle, yet proofs can be astronomically long—...
This proposition has not been edited since the history system was added.