Question

Prove using real number axioms, that $n \ne m$ for distinct natural numbers $n, m \in N$.

score 117 · Answer 1 · 2017-04-16 09:08:00

117

Views

Prove using real number axioms, that $n \ne m$ for distinct natural numbers $n, m \in N$.

Published on 16 Apr 2017 - 9:08

score 2.3k · Answer 2 · 2017-04-17 01:54:32

2.3k

Views

How to prove the theorems of algebra using axioms?

Published on 17 Apr 2017 - 1:54

score 73 · Answer 3 · 2017-04-18 01:05:11

73

Views

How to prove this theorem using field axioms of real numbers?

Published on 18 Apr 2017 - 1:05

score 144 · Answer 4 · 2017-04-18 18:57:18

144

Views

Axiom of pairing for equivalent sets

Published on 18 Apr 2017 - 18:57

score 300 · Answer 5 · 2017-04-20 10:04:37

300

Views

What is the restriction of substitution axiom?

Published on 20 Apr 2017 - 10:04

score 91 · Answer 6 · 2017-04-25 10:30:25

91

Views

Pasch's axiom via Menelaus theorem!?!?!?

Published on 25 Apr 2017 - 10:30

score 76 · Answer 7 · 2017-04-29 13:36:56

76

Views

Does using constant symbols in a first-order theory implicitely induce an existence axiom?

Published on 29 Apr 2017 - 13:36

score 150 · Answer 8 · 2017-04-29 23:36:51

150

Views

The axiom of foundation and hereditarily finite sets

Published on 29 Apr 2017 - 23:36

score 545 · Answer 9 · 2017-05-04 21:26:43

545

Views

Infinite decreasing sequence of ordinals.

Published on 04 May 2017 - 21:26

score 334 · Answer 10 · 2026-03-25 15:42:21

334

Views

Could we take certain results as axioms and prove the original axioms using our new ones?

Published on 25 Mar 2026 - 15:42

score 150 · Answer 11 · 2026-03-26 09:35:53

150

Views

motivation behind antisymmetry axiom on partially ordered sets

Published on 26 Mar 2026 - 9:35

score 268 · Answer 12 · 2017-05-13 14:00:22

268

Views

When defining ordered pairs axiomatically, is their existence an axiom?

Published on 13 May 2017 - 14:00

score 310 · Answer 13 · 2017-05-17 04:01:10

310

Views

Axiom of Union for set that consists of 1 element

Published on 17 May 2017 - 4:01

score 3k · Answer 14 · 2017-05-18 13:41:34

3k

Views

How does the axiom of regularity make sense?

Published on 18 May 2017 - 13:41

score 91 · Answer 15 · 2017-05-19 01:21:11

91

Views

A set of axioms for computability

Published on 19 May 2017 - 1:21

List Question

Prove using real number axioms, that $n \ne m$ for distinct natural numbers $n, m \in N$.

How to prove the theorems of algebra using axioms?

How to prove this theorem using field axioms of real numbers?

Axiom of pairing for equivalent sets

What is the restriction of substitution axiom?

Pasch's axiom via Menelaus theorem!?!?!?

Does using constant symbols in a first-order theory implicitely induce an existence axiom?

The axiom of foundation and hereditarily finite sets

Infinite decreasing sequence of ordinals.

Could we take certain results as axioms and prove the original axioms using our new ones?

motivation behind antisymmetry axiom on partially ordered sets

When defining ordered pairs axiomatically, is their existence an axiom?

Axiom of Union for set that consists of 1 element

How does the axiom of regularity make sense?

A set of axioms for computability

Trending Questions

Popular # Hahtags

Popular Questions