Aristotele accelera notevolmente la matematica risolvendo il problema della verifica. Provalo qui: