Why do Hilbert logic systems use the axioms that they do?
56191
How to demystify the axioms of propositional logic?
62936
Proving equivalencies of two versions of the Axiom of Choice
130458
Why Godel's theorem influences Hilbert's programme?
42590
Understanding implication in logic truth tables (excerpt from textbook)
121847
Don't we need the axiom of choice to choose from a non-empty set?
25567
Is there any significance in the order in which group axioms are presented?
78290
Countable axiom of choice: why you can't prove it from just ZF
103653
Interpretations and models in propositional logic
58631
Continuity and the Axiom of Choice
104771
Dedekind's cut and axioms
126862
Confused about $x \notin x$ example in Axiom of Specification
101741
Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
111122
Proof of a theorem in Hilbert's system
57414
What happened with Hilbert's sixth problem (the axiomatization of physics) after Gödel's work?
122184
De Morgan's laws in logic and set theory
153935
A weaker Axiom of Infinity?
98386
First-order logic and second-order logic confusion