Pontosabban nem egy axióma, hanem egy következtetési szabály hiánzik. (Jelen esetben a modus ponens.)