List of algorithms List of axioms List of conjectures List of conjectures by Paul Erdős Combinatorial principles List of equations List of formulae involving pi List of mathematical identities List of inequalities List of lemmas List of mathematical proofs