Los tres axiomas anteriores pueden escribirse sin usar ninguna lengua natural usando sólo símbolos de un lenguaje de primer orden como: