Logique complète, pousse