Mixing
What are the base assumptions we make in mathematics?
0
In any proof, we establish (or attempt to establish) a fact based on previously established facts. Each of these previously established facts in turn must have been established using a set of then pre-established facts, and so on and so forth until either:
- An infinite sequence of regressive proofs is reached, which is unlikely, as that would require an infinite body of mathematics just to have reached the point we are at now, considering every fact now by definition above would be built upon this infinite stack of facts, or...
- We reach our base facts which are assumed or used as defining math itself, upon the foundation of which all other facts are proven
So what are these base facts underlying mathematics? Are they defined somewhere?
logic soft-question axioms
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
add a comment |
0
In any proof, we establish (or attempt to establish) a fact based on previously established facts. Each of these previously established facts in turn must have been established using a set of then pre-established facts, and so on and so forth until either:
- An infinite sequence of regressive proofs is reached, which is unlikely, as that would require an infinite body of mathematics just to have reached the point we are at now, considering every fact now by definition above would be built upon this infinite stack of facts, or...
- We reach our base facts which are assumed or used as defining math itself, upon the foundation of which all other facts are proven
So what are these base facts underlying mathematics? Are they defined somewhere?
logic soft-question axioms
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
What you want to look into is the concept of "axioms".
– Eff
Nov 20 '18 at 15:25
NO "infinite sequence of regressive proofs is reached".
– Mauro ALLEGRANZA
Nov 20 '18 at 15:25
"We reach our base facts which are assumed" : Axioms.
– Mauro ALLEGRANZA
Nov 20 '18 at 15:26
1
In addition to the axioms of set theory, we usually assume some basic logic, which is essential to allow us to write proofs in the first place. But the key thing is "axioms," and most of the ones we assume are discussed in set theory. I've found Halmos's book "Naive Set Theory" to be a fine place to start learning about these most basic axioms.
– John Hughes
Nov 20 '18 at 15:40
add a comment |
0
0
0
In any proof, we establish (or attempt to establish) a fact based on previously established facts. Each of these previously established facts in turn must have been established using a set of then pre-established facts, and so on and so forth until either:
- An infinite sequence of regressive proofs is reached, which is unlikely, as that would require an infinite body of mathematics just to have reached the point we are at now, considering every fact now by definition above would be built upon this infinite stack of facts, or...
- We reach our base facts which are assumed or used as defining math itself, upon the foundation of which all other facts are proven
So what are these base facts underlying mathematics? Are they defined somewhere?
logic soft-question axioms
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
In any proof, we establish (or attempt to establish) a fact based on previously established facts. Each of these previously established facts in turn must have been established using a set of then pre-established facts, and so on and so forth until either:
- An infinite sequence of regressive proofs is reached, which is unlikely, as that would require an infinite body of mathematics just to have reached the point we are at now, considering every fact now by definition above would be built upon this infinite stack of facts, or...
- We reach our base facts which are assumed or used as defining math itself, upon the foundation of which all other facts are proven
So what are these base facts underlying mathematics? Are they defined somewhere?
logic soft-question axioms
logic soft-question axioms
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
edited Nov 20 '18 at 15:26
Mauro ALLEGRANZA
64.4k448112
64.4k448112
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
asked Nov 20 '18 at 15:23
TheEnvironmentalist
18210
18210
What you want to look into is the concept of "axioms".
– Eff
Nov 20 '18 at 15:25
NO "infinite sequence of regressive proofs is reached".
– Mauro ALLEGRANZA
Nov 20 '18 at 15:25
"We reach our base facts which are assumed" : Axioms.
– Mauro ALLEGRANZA
Nov 20 '18 at 15:26
1
In addition to the axioms of set theory, we usually assume some basic logic, which is essential to allow us to write proofs in the first place. But the key thing is "axioms," and most of the ones we assume are discussed in set theory. I've found Halmos's book "Naive Set Theory" to be a fine place to start learning about these most basic axioms.
– John Hughes
Nov 20 '18 at 15:40
add a comment |
What you want to look into is the concept of "axioms".
– Eff
Nov 20 '18 at 15:25
NO "infinite sequence of regressive proofs is reached".
– Mauro ALLEGRANZA
Nov 20 '18 at 15:25
"We reach our base facts which are assumed" : Axioms.
– Mauro ALLEGRANZA
Nov 20 '18 at 15:26
1
In addition to the axioms of set theory, we usually assume some basic logic, which is essential to allow us to write proofs in the first place. But the key thing is "axioms," and most of the ones we assume are discussed in set theory. I've found Halmos's book "Naive Set Theory" to be a fine place to start learning about these most basic axioms.
– John Hughes
Nov 20 '18 at 15:40
What you want to look into is the concept of "axioms".
– Eff
Nov 20 '18 at 15:25
What you want to look into is the concept of "axioms".
– Eff
Nov 20 '18 at 15:25
NO "infinite sequence of regressive proofs is reached".
– Mauro ALLEGRANZA
Nov 20 '18 at 15:25
NO "infinite sequence of regressive proofs is reached".
– Mauro ALLEGRANZA
Nov 20 '18 at 15:25
"We reach our base facts which are assumed" : Axioms.
– Mauro ALLEGRANZA
Nov 20 '18 at 15:26
"We reach our base facts which are assumed" : Axioms.
– Mauro ALLEGRANZA
Nov 20 '18 at 15:26
1
1
In addition to the axioms of set theory, we usually assume some basic logic, which is essential to allow us to write proofs in the first place. But the key thing is "axioms," and most of the ones we assume are discussed in set theory. I've found Halmos's book "Naive Set Theory" to be a fine place to start learning about these most basic axioms.
– John Hughes
Nov 20 '18 at 15:40
In addition to the axioms of set theory, we usually assume some basic logic, which is essential to allow us to write proofs in the first place. But the key thing is "axioms," and most of the ones we assume are discussed in set theory. I've found Halmos's book "Naive Set Theory" to be a fine place to start learning about these most basic axioms.
– John Hughes
Nov 20 '18 at 15:40
add a comment |
1 Answer
1
active
oldest
votes
3
Usually, Zermelo–Fraenkel axioms.
answered Nov 20 '18 at 15:34
Federico
4,689514
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006451%2fwhat-are-the-base-assumptions-we-make-in-mathematics%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
3
Usually, Zermelo–Fraenkel axioms.
answered Nov 20 '18 at 15:34
Federico
4,689514
add a comment |
3
Usually, Zermelo–Fraenkel axioms.
answered Nov 20 '18 at 15:34
Federico
4,689514
add a comment |
3
3
3
Usually, Zermelo–Fraenkel axioms.
answered Nov 20 '18 at 15:34
Federico
4,689514
Usually, Zermelo–Fraenkel axioms.
answered Nov 20 '18 at 15:34
Federico
4,689514
answered Nov 20 '18 at 15:34
Federico
4,689514
answered Nov 20 '18 at 15:34
Federico
4,689514
answered Nov 20 '18 at 15:34
Federico
4,689514
4,689514
add a comment |
add a comment |
draft saved
draft discarded
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3006451%2fwhat-are-the-base-assumptions-we-make-in-mathematics%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
What you want to look into is the concept of "axioms".
– Eff
Nov 20 '18 at 15:25
NO "infinite sequence of regressive proofs is reached".
– Mauro ALLEGRANZA
Nov 20 '18 at 15:25
"We reach our base facts which are assumed" : Axioms.
– Mauro ALLEGRANZA
Nov 20 '18 at 15:26
1
In addition to the axioms of set theory, we usually assume some basic logic, which is essential to allow us to write proofs in the first place. But the key thing is "axioms," and most of the ones we assume are discussed in set theory. I've found Halmos's book "Naive Set Theory" to be a fine place to start learning about these most basic axioms.
– John Hughes
Nov 20 '18 at 15:40