Department of Mathematics
Short proofs in mathematics
Unique factorization
Zorn's Lemma
Well ordering of any set
Fixed points of increasing functions
Hilbert's Nullstellensatz
See also Bernstein's
summary
, as well as Swan's unpublished
paper
.