La teoría se centra en otorgarle a la lógica de primer orden el poder que posee la teoría de conjuntos, aunque sin ningún "compromiso existencial" con objetos tales como conjuntos.