Dedekind cuts intuition
104771
Dedekind's cut and axioms
32081
The dual version of trichotomy of cardinality without AC
98372
Proof of the principle of backwards induction
104871
Direct cut-elimination for natural deduction.
88285
Intuition for groups
51369
Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus
134319
When induction proofs need a choice function
53661
Intuition surrounding units in $R[x]$
47697
Russell's paradox: a set cannot contain its own powerset
25887
Definition of Dedekind-infinity: Bijection or Injections?
42869
Is $\lor$ definable in intuitionistic logic?
116978
Trying to prove $p,p \to (r \to q) \vdash (\neg q \to \neg r)$ by using natural deduction.
65467
ElGamal in private set intersection: how to handle negative numbers?
32950
Fake induction proofs
14619
Understanding The Math Behind Elchanan Mossel’s Dice Paradox
35427
Natural Deduction - How to define literals?
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)