Oddbean new post about | logout
 Sometimes seemingly simple or obvious things are not so obvious

https://en.m.wikipedia.org/wiki/Parallel_postulate

Parallel postulate seems obvious but non-euclidian geometry does not have such an axiom. Projective geometry also has no parallel postulate requirement.

https://en.m.wikipedia.org/wiki/Axiom_of_choice

Axiom of choice in a finite world makes sense. With infinities you get the Banach-Tarski paradox

https://en.m.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox

When using mathematical precision to investigate ideas some faith is required that your axioms hold true, because alternative axiomatic systems exist that are also non contradictory. 

Think of it like axioms as defining the boundaries of a mathematical reality, and you can have different axioms that create different realities.