Este conjunto de esquemas axiomáticos también se utiliza en el cálculo de predicados, pero son necesarios más axiomas lógicos.