Un conjunto de axiomas estándar es el que descubrió Jan Łukasiewicz: