definition, correspondence, formulation, cut, condition, peano, axioms
german, dirichlet, irrational, cantor