http://it.wikipedia.org/wiki/Logica_matematica?