Axioms which are used to prove Gödel's second incompleteness theorem
97187
In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?
7865
Complete Newbie: Axiom of Foundation Exercise
151935
Proving the predicate $\forall n \in \mathbb{N} , n \geq 2$ using the Pigeonhole principle
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
2334
Best book on axiomatic set theory.
114550
Well-ordering theorem and second-order logic
152685
Parallel postulate from Playfair's axiom
134319
When induction proofs need a choice function
130458
Why Godel's theorem influences Hilbert's programme?
126713
Strong induction and vacuous truth
62936
Proving equivalencies of two versions of the Axiom of Choice
59820
ZF Extensionality axiom
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
75600
Is Gödel's modified liar an illogical statement?
148239
natural deduction proof with De Morgan's laws
150451
Logic soundness and completeness
102202
The smallest infinity and the axiom of choice