Para el caso de estructuras algebraicas finitas, la existencia por sí misma se puede referir a un álgebra universal, o a la teoría de modelos; naturalmente hay también una prueba adaptada a la teoría de categorías.