Many accepted mathematical necessities (e.g., Gödel's theorems) rest on foundational axioms that are...
This proposition has not been edited since the history system was added.