Number theoretic statement which follows from ZF+AC, and whose negation follows from ZF+$\neg$AC
55199
Number Theory in a Choice-less World
74546
Negating A Mathematical Statement
32081
The dual version of trichotomy of cardinality without AC
151356
Need Hints Prove "$((\neg \alpha \to \alpha) \to \alpha) $" Using Axiom 1,2,3 and MP and deduction theorem
5098
Theorem without numbering
58602
In ZF, how would the structure of the cardinal numbers change by adopting this definition of cardinality?
23869
Prove the implication "if $ac>bc$ and $c>0$, then $a>b$" using the contrapositive
83037
Applying Zorn's Lemma to natural numbers
85895
Proving all rational numbers including negatives are countable
25496
Avoiding proof by induction
41813
How to prove positive (semi-)definitness in matrix notation without numbers
148260
Polylogarithms of negative integer order
50235
Numbering theorem-like environments
50250
Proving $\arg(zw)=\arg(z)+\arg(w)$
151038
How to prove (A v B), (A → C), (B → D) therefore (C v D)
100720
Negative quotients and their remainders
68233
Fermat's little theorem's proof for a negative integer