Talk:List of axioms

	This article is within the scope of WikiProject Lists, an attempt to structure and organize all list pages on Wikipedia. If you wish to help, please visit the project page, where you can join the project and/or contribute to the discussion.ListsWikipedia:WikiProject ListsTemplate:WikiProject ListsList articles
???	This article has not yet received a rating on the project's importance scale.

Mathematics Mid‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Mid	This article has been rated as Mid-priority on the project's priority scale.

Untitled

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

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]