Axioms

[J77]

Another thread got me thinking...

Everyday I take axioms for granted, eg. muliplication, addition, ordering of reals.

From the pure point of view, what axioms are the most important (most used) ones?

Wikipedia has a list: http://en.wikipedia.org/wiki/List_of_axioms

However, I'd like to know the purists opinions :smile:

[J77]

They're not that important, then?

:biggrin:

[HallsofIvy]

You will have to tell us what you consider to be "important".
Mathematics involves an enormous number of "systems" each of which has its own axioms. Within a specific system, from a logical viewpoint, all axioms are equally "important".

The wikipedia list you cite is essentially a list of axioms for set theory.

[radou]

A neat system of axioms to explore are the Euclidean plane geometry axioms.

[CRGreathouse]

I'm using ZF + "odd perfect numbers exist" and trying to conclude that dragons exist.

[HallsofIvy]

It think a constructivist approach would be best for that- exhibit a dragon!

[MeJennifer]

Everyday I take axioms for granted, eg. muliplication, addition, ordering of reals.

Seems to me that multiplication and addition are operations not axioms. Once you stated an axiom describing the ordering of numbers, operations like addition and multiplication would follow logically and would not require additional axioms. No?

[Data]

I'm using ZF + "odd perfect numbers exist" and trying to conclude that dragons exist.

well, you just need to adopt a suitable definition for a dragon!

[CRGreathouse]

well, you just need to adopt a suitable definition for a dragon!

Why? I'd think any old definiton would do.