Eso implica que las dos clases de modelos que satisfacen los dos sistemas de axiomas coindiden.