El primero es un sistema axiomático simple, y el segundo es un sistema sin axiomas, de deducción natural.