Everyday I take axioms for granted

  • Thread starter Thread starter J77
  • Start date Start date
  • Tags Tags
    Axioms
J77
Messages
1,092
Reaction score
1
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:
 
Mathematics news on Phys.org
They're not that important, then?

:biggrin:
 
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.
 
A neat system of axioms to explore are the Euclidean plane geometry axioms.
 
I'm using ZF + "odd perfect numbers exist" and trying to conclude that dragons exist.
 
It think a constructivist approach would be best for that- exhibit a dragon!
 
J77 said:
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?
 
CRGreathouse said:
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!
 
Data said:
well, you just need to adopt a suitable definition for a dragon!

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

Similar threads

Replies
7
Views
1K
Replies
5
Views
2K
Replies
7
Views
3K
Replies
31
Views
5K
Replies
2
Views
2K
Replies
4
Views
1K
Replies
34
Views
3K
Back
Top