Question

Hilbert style axiom system without generalisation

score 256 · Answer 1 · 2026-05-01 06:07:16

256

Views

Hilbert style axiom system without generalisation

Published on 01 May 2026 - 6:07

score 100 · Answer 2 · 2026-04-09 07:03:41

100

Views

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

Published on 09 Apr 2026 - 7:03

score 345 · Answer 3 · 2026-04-12 11:55:11

345

Views

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

Published on 12 Apr 2026 - 11:55

score 60 · Answer 4 · 2026-04-10 18:18:37

60

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 2026 - 18:18

score 792 · Answer 5 · 2026-05-03 08:58:36

792

Views

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

Published on 03 May 2026 - 8:58

score 111 · Answer 6 · 2026-05-10 16:12:48

111

Views

Natural Deduction - 'monotone' property of sequent

Published on 10 May 2026 - 16:12

score 128 · Answer 7 · 2026-04-09 16:01:21

128

Views

Is the Proof Mathematical Object as a Function?

Published on 09 Apr 2026 - 16:01

score 132 · Answer 8 · 2026-04-13 20:38:22

132

Views

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

Published on 13 Apr 2026 - 20:38

score 299 · Answer 9 · 2026-05-10 17:18:01

299

Views

Original purpose of Fundamental Sequences of limit ordinals

Published on 10 May 2026 - 17:18

score 83 · Answer 10 · 2026-05-10 18:04:15

83

Views

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

Published on 10 May 2026 - 18:04

score 89 · Answer 11 · 2026-05-10 13:51:39

89

Views

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

Published on 10 May 2026 - 13:51

score 1.7k · Answer 12 · 2026-05-10 16:22:36

1.7k

Views

Is it a paradox if I prove something as unprovable?

Published on 10 May 2026 - 16:22

score 120 · Answer 13 · 2026-04-14 08:24:40

120

Views

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

Published on 14 Apr 2026 - 8:24

score 301 · Answer 14 · 2026-04-29 12:52:24

301

Views

Comma in turnstile (entailment)

Published on 29 Apr 2026 - 12:52

score 573 · Answer 15 · 2026-04-09 11:40:18

573

Views

What is a construction (in mathematics)?

Published on 09 Apr 2026 - 11:40

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