Is it possible to prove Gödel’s 1st Incompleteness theorem without the use of self referential statements
122324
Is there a proof of Gödel's Incompleteness Theorem without self-referential statements?
126713
Strong induction and vacuous truth
73415
The reason why the existence of inaccessible cardinals cannot be proven in ZFC
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
47697
Russell's paradox: a set cannot contain its own powerset
147375
Prove :(P → Q) ∨ (Q → P) using natural deduction
138897
help with some Hilbert style proofs in a propositional logic axiom system.
66971
What is the purpose of the first test in an inductive proof?
100134
Proving existence of a surjection $2^{\aleph_0} \to \aleph_1$ without AC
6535
Proof of for-all / there-exists "negation"?
98559
subtlety of self-defined function and its evaluation
10255
Paradoxes without self-reference?
75007
How can I prove this relation between the elementary set theory and the elementary logic?
76597
Examples of provably${}^n$ unprovable statements
134588
Seeking a direct proof about nested inclusions
61635
Proving AM-GM with induction
48368
Prove using Natural Deduction in predicate logic $(\forall x\ P(x))\to Q ⊢ \exists x (P(x)\to Q)$