New posts in First Order Logic

How to think about theories that prove their own inconsistency?

How do we know what natural numbers are?

How to convert numerical claims to first order logic?

Why ZFC+FOL cannot uniquely describe/characterize R or N?

First-order logic where constants play the role of variables

Does the following set of formulas have a finite model?

Why does what I've written fail to define truth?

What's the point of allowing only quantification of variables in first-order logic.

Does the order of "unbounded" quantifiers matter?

The $<$-relation on $\mathbb{Z}$ is not definable in $(\mathbb{Z}, 0, +)$