Question

Is the $\varphi \to \varphi$ axiom in Hilbert calculus redundant?

score 107 · Answer 1 · 2015-01-28 01:33:27

107

Views

Is the $\varphi \to \varphi$ axiom in Hilbert calculus redundant?

Published on 28 Jan 2015 - 1:33

score 1k · Answer 2 · 2026-03-25 12:46:44

1k

Views

Difference between Hilbert's program and Russell & Whitehead's Principia Mathematica

Published on 25 Mar 2026 - 12:46

score 1.2k · Answer 3 · 2026-03-28 16:10:35

1.2k

Views

Associativity in category theory

Published on 28 Mar 2026 - 16:10

score 1.6k · Answer 4 · 2015-02-04 10:08:31

1.6k

Views

How do we define arc length?

Published on 04 Feb 2015 - 10:08

score 176 · Answer 5 · 2015-02-05 23:08:53

176

Views

If $mx=m$ for some (or all) integer $m$, then $x=1$

Published on 05 Feb 2015 - 23:08

score 72 · Answer 6 · 2015-02-06 20:37:10

72

Views

Reference Request: Compendium of Hilbert Systems

Published on 06 Feb 2015 - 20:37

score 321 · Answer 7 · 2015-02-07 19:22:00

321

Views

Von Neumann universe implies Foundation

Published on 07 Feb 2015 - 19:22

score 197 · Answer 8 · 2015-02-08 22:42:25

197

Views

Is it possible to map mathematics without advanced set theory?

Published on 08 Feb 2015 - 22:42

score 6.6k · Answer 9 · 2015-02-16 19:44:59

6.6k

Views

Definition: Mathematical way to define the "left" and the "right"

Published on 16 Feb 2015 - 19:44

score 317 · Answer 10 · 2015-02-18 04:03:14

317

Views

a problem in Stein's book 'Real analysis', relate to continuum hypothesis.

Published on 18 Feb 2015 - 4:03

score 421 · Answer 11 · 2015-02-21 22:45:41

421

Views

ZFC + not-CH, can a set with cardinality between $\aleph_0$ and $2^{\aleph_0}$ be defined?

Published on 21 Feb 2015 - 22:45

score 232 · Answer 12 · 2015-02-22 18:26:13

232

Views

Is this the easiest calculus exercise ever?

Published on 22 Feb 2015 - 18:26

score 2.9k · Answer 13 · 2026-03-25 07:15:36

2.9k

Views

What's so special about the group axioms?

Published on 25 Mar 2026 - 7:15

score 235 · Answer 14 · 2015-02-24 18:37:10

235

Views

Proving this axiom system is consistent.

Published on 24 Feb 2015 - 18:37

score 9k · Answer 15 · 2015-02-25 23:07:51

9k

Views

Is it possible to prove reflexive, symmetric and transitive properties of equality and the transitive property of inequality?

Published on 25 Feb 2015 - 23:07

List Question

Is the $\varphi \to \varphi$ axiom in Hilbert calculus redundant?

Difference between Hilbert's program and Russell & Whitehead's Principia Mathematica

Associativity in category theory

How do we define arc length?

If $mx=m$ for some (or all) integer $m$, then $x=1$

Reference Request: Compendium of Hilbert Systems

Von Neumann universe implies Foundation

Is it possible to map mathematics without advanced set theory?

Definition: Mathematical way to define the "left" and the "right"

a problem in Stein's book 'Real analysis', relate to continuum hypothesis.

ZFC + not-CH, can a set with cardinality between $\aleph_0$ and $2^{\aleph_0}$ be defined?

Is this the easiest calculus exercise ever?

What's so special about the group axioms?

Proving this axiom system is consistent.

Is it possible to prove reflexive, symmetric and transitive properties of equality and the transitive property of inequality?

Trending Questions

Popular # Hahtags

Popular Questions