List questions from axioms

Published on 15 Feb 2014 - 7:03

641

Views

Intuition on Axiom of Completeness

Published on 28 Mar 2026 - 11:22

1.3k

Views

Derive by modus ponens $[A\rightarrow(B\rightarrow C)]\rightarrow[(A\rightarrow B)\rightarrow(A\rightarrow C)]$

Published on 23 Feb 2026 - 8:32

203

Views

Basic Field Properties: multiplication

Published on 22 Feb 2014 - 6:55

899

Views

Axiom of Infinity implies existence of empty set. Is this circular?

Published on 23 Feb 2014 - 7:54

665

Views

Closed under an operation?

Published on 23 Feb 2014 - 15:23

3.2k

Views

Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry

Published on 27 Mar 2026 - 22:52

242

Views

Is Lambda calculus a purely equational theory?

Published on 28 Mar 2026 - 2:42

176

Views

Prove that $\sqrt{2}>1$

Published on 02 Mar 2014 - 15:12

968

Views

Equality of positive rational numbers.

Published on 09 Mar 2014 - 13:28

283

Views

$\{S\} \not\in S$ in ZFC?

Published on 10 Mar 2014 - 17:07

448

Views

Can any statement of a consistent formal system be proven by changing the formal system itself while maintaining consistentcy?

Published on 10 Apr 2017 - 7:50

442

Views

System of Axioms that violate Godel's Incompleteness Theorem

Published on 10 Apr 2017 - 16:33

544

Views

Does Axiom of Power Set implies Axiom of Subset?

Published on 15 Apr 2017 - 15:21

223

Views

Duality principle (in projective geometry sense)

Published on 29 Mar 2026 - 21:52

List Question

Source request of axiom of Archimedes

Intuition on Axiom of Completeness

Derive by modus ponens $[A\rightarrow(B\rightarrow C)]\rightarrow[(A\rightarrow B)\rightarrow(A\rightarrow C)]$

Basic Field Properties: multiplication

Axiom of Infinity implies existence of empty set. Is this circular?

Closed under an operation?

Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry

Is Lambda calculus a purely equational theory?

Prove that $\sqrt{2}>1$

Equality of positive rational numbers.

$\{S\} \not\in S$ in ZFC?

Can any statement of a consistent formal system be proven by changing the formal system itself while maintaining consistentcy?

System of Axioms that violate Godel's Incompleteness Theorem

Does Axiom of Power Set implies Axiom of Subset?

Duality principle (in projective geometry sense)

Trending Questions

Popular # Hahtags

Popular Questions