A causal loop between set theory and language theory
48684
Does mathematics become circular at the bottom? What is at the bottom of mathematics?
150451
Logic soundness and completeness
102899
Category theory with objects as logical expressions over $\{\vee,\wedge,\neg\}$ and morphisms as?
139170
Syntactic characterisation of the intersection of CTL and LTL
157490
Statements equivalent to the Axiom of Choice
135267
Predicate Logic and Inference
151521
Set Theory: Tree Property
122184
De Morgan's laws in logic and set theory
126713
Strong induction and vacuous truth
151215
Paradox of General Comprehension in Set Theory, other than Russell's Paradox
21254
Formal language: Proving the reverse operation on a word through induction
115675
Strange consequences of Axiom of Choice in Zermelo set theory
124299
Category Theory textbook (learning through guided discovery Dummit and Foote)
72391
linear dependence proof using subsets
132692
Nonempty set mapped to $\emptyset$ and vice-versa
113640
Why is there this strange contradiction between the language of logic and that of set theory?
96504
First-Order Logic vs. Second-Order Logic