Łukasiewicz también presentó una revisión de un sistema axiomático de Nicod que usa apenas un conectivo y posee un axioma: