En lógica matemática , una teoría elemental es una teoría que involucra axiomas usando solo lógica finitaria de primer orden , sin referencia a la teoría de conjuntos o usando cualquier axioma que tenga una fuerza de consistencia igual a la teoría de conjuntos.