Outline of Mendelson axioms