Untitled

edit

Shouldn't axiom of Kolmogorov be part of this list ? — Preceding unsigned comment added by 91.182.210.226 (talk) 12:30, 15 March 2013 (UTC)Reply

Perhaps the first sentence of this page is misleading

edit

Hello,

This is my first Talk entry. I apologize if I'm violating a Talk convention with this post.

I'm not a mathematician. I'm merely beginning a study of epistemology for personal interest.

I'd appreciate some feedback as to whether my proposed edit (below) is correct, and if correct, whether it would be useful on this page.

It struck me that perhaps the first few sentences of this page could be more clear, depending on whether I understand Godel's Incompleteness Theorems.

My confusion was that, as a non-mathematician beginning my study of epistemology, I thought that perhaps it had been proved that all of mathematics was founded in a "list of axioms," and that this page was that list. However, I now believe I was wrong, as detailed below.

CURRENT

This is a list of axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self-evidence. Individual axioms are almost always part of a larger axiomatic system.

PROPOSED

This is a list of some significant mathematical axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self-evidence. Individual axioms are almost always part of a larger axiomatic system.

This list is a small subset of all currently known mathematical axioms. Mathematicians have long pondered whether all of mathematics could, by deductive reasoning, be proved to be reducible to a finite, complete, consistent set of axioms. Giuseppe Peano attempted to achieve that goal for number theory. David Hilbert pursued the same goal for all of mathematics. However, Godel's Incompleteness Theorems proved that neither Hilbert's goal, nor even Peano's less ambitious goal, could ever succeed. Godel's Incompleteness Theorems are widely, though not universally accepted.

Thank you.

Fredric5765 (talk) 23:44, 14 March 2016 (UTC)Reply