Matematicamente.it

Qualcuno è pratico dei sistemi deduttivi?

In particolare conoscete il Sistema Deduttivo di Hilbert?

Avrei bisogno di quache chiarimento su quest'ultimo...

Bemipefe