En lógica matemática , una definición elemental es una definición que se puede hacer usando solo lógica finita de primer orden y, en particular, sin referencia a la teoría de conjuntos o usando extensiones como la cuantificación plural . Las definiciones elementales son de particular interés porque admiten un aparato de prueba completo sin dejar de ser lo suficientemente expresivas para admitir la mayoría de las matemáticas cotidianas (a través de la adición de axiomas expresables elementalmente como la teoría de conjuntos de Zermelo-Fraenkel (ZFC)).