Question

Which formal theory is commonly used to describe mathematical analysis?

score 95 · Answer 1 · 2022-06-28 05:08:40

95

Views

Which formal theory is commonly used to describe mathematical analysis?

Published on 28 Jun 2022 - 5:08

score 320 · Answer 2 · 2022-06-29 13:51:11

320

Views

Why is SAS congruence rule an axiom, if there is a proof for it?

Published on 29 Jun 2022 - 13:51

score 222 · Answer 3 · 2022-07-01 05:45:45

222

Views

Why 'There exists a non empty set' is an axiom in some axiomatic set theories.

Published on 01 Jul 2022 - 5:45

score 456 · Answer 4 · 2026-03-31 03:31:15

456

Views

Concrete and abstract models of axiomatic systems

Published on 31 Mar 2026 - 3:31

score 100 · Answer 5 · 2026-02-23 21:13:18

100

Views

Is there a concept representing "connectedness" in abstract algebra?

Published on 23 Feb 2026 - 21:13

score 98 · Answer 6 · 2022-07-16 03:35:47

98

Views

Why not merge the law of excluded middle and the law of noncontradiction with xor?

Published on 16 Jul 2022 - 3:35

score 70 · Answer 7 · 2022-07-16 18:13:27

70

Views

Do Axiomatic Systems Forbid Actions/Operations from Outside the Axioms? (Russell's Paradox Example)

Published on 16 Jul 2022 - 18:13

score 273 · Answer 8 · 2026-04-03 03:21:19

273

Views

Why is the axiom of foundation not presented in terms of its, arguably more intuitive, negation?

Published on 03 Apr 2026 - 3:21

score 2.1k · Answer 9 · 2022-07-30 17:02:58

2.1k

Views

Is my proof wrong? "Prove that the additive inverse is unique"

Published on 30 Jul 2022 - 17:02

score 100 · Answer 10 · 2022-08-11 02:13:42

100

Views

Can the converse of this predicate axiom be proved a theorem?

Published on 11 Aug 2022 - 2:13

score 183 · Answer 11 · 2026-03-27 04:03:29

183

Views

Why do intuitionists think that proving $\neg \neg P$ merely constitutes a proof of the inexistence of a proof for $\neg P$?

Published on 27 Mar 2026 - 4:03

score 146 · Answer 12 · 2026-03-26 16:03:35

146

Views

What makes a set theory?

Published on 26 Mar 2026 - 16:03

score 188 · Answer 13 · 2022-08-29 14:36:24

188

Views

Is elementary algebra consistent?

Published on 29 Aug 2022 - 14:36

score 45 · Answer 14 · 2022-09-06 17:02:57

45

Views

Proof Depending on the Law of Excluded Middle

Published on 06 Sep 2022 - 17:02

score 73 · Answer 15 · 2022-09-07 14:21:21

73

Views

How to use the Axiom of Extension to prove the equality of sets?

Published on 07 Sep 2022 - 14:21

List Question

Which formal theory is commonly used to describe mathematical analysis?

Why is SAS congruence rule an axiom, if there is a proof for it?

Why 'There exists a non empty set' is an axiom in some axiomatic set theories.

Concrete and abstract models of axiomatic systems

Is there a concept representing "connectedness" in abstract algebra?

Why not merge the law of excluded middle and the law of noncontradiction with xor?

Do Axiomatic Systems Forbid Actions/Operations from Outside the Axioms? (Russell's Paradox Example)

Why is the axiom of foundation not presented in terms of its, arguably more intuitive, negation?

Is my proof wrong? "Prove that the additive inverse is unique"

Can the converse of this predicate axiom be proved a theorem?

Why do intuitionists think that proving $\neg \neg P$ merely constitutes a proof of the inexistence of a proof for $\neg P$?

What makes a set theory?

Is elementary algebra consistent?

Proof Depending on the Law of Excluded Middle

How to use the Axiom of Extension to prove the equality of sets?

Trending Questions

Popular # Hahtags

Popular Questions