Question

Hilbert style axiom system without generalisation

score 248 · Answer 1 · 2026-03-22 08:05:21

248

Views

Hilbert style axiom system without generalisation

Published on 22 Mar 2026 - 8:05

score 98 · Answer 2 · 2018-04-07 18:32:35

98

Views

How can a system state its own consistency within its own language?

Published on 07 Apr 2018 - 18:32

score 342 · Answer 3 · 2018-04-08 21:31:24

342

Views

Is such a proof enough for proving the system is consistent?

Published on 08 Apr 2018 - 21:31

score 57 · Answer 4 · 2018-04-10 15:37:32

57

Views

Is it true that for a structure $\mathcal A$ we have $\mbox{Th}(\mathcal A)$ is r.e. iff it is recursive

Published on 10 Apr 2018 - 15:37

score 783 · Answer 5 · 2026-03-20 10:13:02

783

Views

Showing that Presburger arithmetic is decidable by deciding if $\mathbb N \models \varphi$, but does it give provability in the axioms?

Published on 20 Mar 2026 - 10:13

score 107 · Answer 6 · 2026-03-22 14:05:47

107

Views

Natural Deduction - 'monotone' property of sequent

Published on 22 Mar 2026 - 14:05

score 125 · Answer 7 · 2026-03-22 12:09:41

125

Views

Is the Proof Mathematical Object as a Function?

Published on 22 Mar 2026 - 12:09

score 129 · Answer 8 · 2018-04-15 15:13:10

129

Views

How sequent calculus are connected with the usual notion of satisfiability or validitiy of formula?

Published on 15 Apr 2018 - 15:13

score 293 · Answer 9 · 2018-04-23 11:40:01

293

Views

Original purpose of Fundamental Sequences of limit ordinals

Published on 23 Apr 2018 - 11:40

score 79 · Answer 10 · 2018-04-28 15:38:31

79

Views

Reference request for a formalized and organized take on the foundations (logic and set theory)

Published on 28 Apr 2018 - 15:38

score 85 · Answer 11 · 2018-05-06 19:12:08

85

Views

How to formally prove $\forall x: x11=x$ in the theory of groups.

Published on 06 May 2018 - 19:12

score 1.6k · Answer 12 · 2018-05-10 19:12:37

1.6k

Views

Is it a paradox if I prove something as unprovable?

Published on 10 May 2018 - 19:12

score 117 · Answer 13 · 2018-05-14 00:15:37

117

Views

Why does this theory prove that it's not consistent?

Published on 14 May 2018 - 0:15

score 292 · Answer 14 · 2026-03-20 01:20:08

292

Views

Comma in turnstile (entailment)

Published on 20 Mar 2026 - 1:20

score 569 · Answer 15 · 2026-03-22 00:46:14

569

Views

What is a construction (in mathematics)?

Published on 22 Mar 2026 - 0:46

List Question

Hilbert style axiom system without generalisation

How can a system state its own consistency within its own language?

Is such a proof enough for proving the system is consistent?

Is it true that for a structure $\mathcal A$ we have $\mbox{Th}(\mathcal A)$ is r.e. iff it is recursive

Showing that Presburger arithmetic is decidable by deciding if $\mathbb N \models \varphi$, but does it give provability in the axioms?

Natural Deduction - 'monotone' property of sequent

Is the Proof Mathematical Object as a Function?

How sequent calculus are connected with the usual notion of satisfiability or validitiy of formula?

Original purpose of Fundamental Sequences of limit ordinals

Reference request for a formalized and organized take on the foundations (logic and set theory)

How to formally prove $\forall x: x11=x$ in the theory of groups.

Is it a paradox if I prove something as unprovable?

Why does this theory prove that it's not consistent?

Comma in turnstile (entailment)

What is a construction (in mathematics)?

Trending Questions

Popular # Hahtags

Popular Questions