Una de esas axiomatizaciones consiste apenas en tres axiomas que, en notación moderna, podrían ser escritos de la siguiente forma: