(June 9, 2010 at 7:58 pm)Caecilian Wrote: @Rhamsin.Kh
All this stuff about axioms being 'self-evident'. Of course they are. But why? Surely its because thats the way our universe works. If the axioms that applied to our universe were different, then they'd be 'self-evident'.
In other words: that our particular set of axioms is 'self-evident' is a consequence of them being our particular set of axioms.
can you think of a universe where (x=x) wouldn't be an axiom? To me saying that x=x wouldn't serve as an axiom in other universes is like saying that in other universes there are edged circles or triangles with angle sums greater than 180 degrees.