http://lesswrong.com/lw/f4e/logical_pinpointing/ http://lesswrong.com/lw/f4e/logical_pinpointing/ > It's not that 'axioms' are mathematicians asking for you to

http://lesswrong.com/lw/f4e/logical_pinpointing/ http://lesswrong.com/lw/f4e/logical_pinpointing/ > It's not that 'axioms' are mathematicians asking for you to just assume some things about numbers that seem obvious but can't be proven. Rather, axioms pin down that we're talking about numbers as opposed to something else. Eliezer says axioms are like scope resolution operators. I'm curious where he got this idea from, because I doubt he came up with it on his own in a vacuum.