What is mathematical logic, really?
140742
What does the term "mathematical logic" mean?
136577
In formal logic, how is it possible for an argument with a contradictory conclusion to be valid?
113640
Why is there this strange contradiction between the language of logic and that of set theory?
17480
Meaning of the word "axiom"
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
42517
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
40291
What's the point of the axiom of extensionality?
109325
Euclid Lemma proof reasoning
42590
Understanding implication in logic truth tables (excerpt from textbook)
93124
What's the goal of mathematics?
149506
How much set theory and logic should typical algebraists/analysts/geometers know? (soft-question)
105303
'Obvious' theorems that are actually false
75600
Is Gödel's modified liar an illogical statement?
112813
Do Category Theory and/or Quantum Logic add value in physics?
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
109159
What's the intuition behind $(\exists y)(\mathscr{C}(y)\supset\mathscr{D})\supset((\forall x)\mathscr{C}(x)\supset\mathscr{D})$
50268
Why is mathematical induction a valid proof technique?