Prove there is no theory whose models are exactly the interpretations with finite domains
29744
Compactness and axiomatisability
140553
An ideal which is not finitely generated
122684
How do you prove Well-Ordering without Mathematical Induction? (and vice-versa)
16534
Can $(\Bbb N,\leq)$ have an $\aleph_0$-categorical theory (in a larger language)?
101453
Existence of a Boolean algebra with a unique ultrafilter in ZF
73415
The reason why the existence of inaccessible cardinals cannot be proven in ZFC
27675
Polynomials vanishing on an infinite set
30425
How do we make symmetry assumptions rigorous?
126713
Strong induction and vacuous truth
98220
How do we show that no hidden variable theories can replace QM?
143138
All models of $\mathsf{ZFC}$ between $V$ and $V[G]$ are generic extensions of $V$
84562
Proof using only field axioms
139992
Is power-associativity finitely axiomatizable?
42603
How can I prove that the cadinality of a set minus a finite number of elements of it is still the same as the original set?
92571
Sets with no asymptotical density over $\mathbb N$
154796
Completeness of sequence of reals with finitely many nonzero terms
52301
Omitting the hypotheses of finiteness of the measure in Egorov theorem