New posts in Meta Math

Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?

How to prove that first-order PA proves the consistency of each of its finite sub-theories?

Resources like "How to solve it" by Polya

What exactly is an equation?

What portion of mathematical statements are ZFC undecidable?

Metamathematics of the Banach space consequences of the Baire category theorem

Consistency of ZFC and proof by contradiction

Why does Tao use the word *metatheory* in this context?

Meta proof-searching

Primitive recursion and $\Delta^0_0$