Non capisco come sia possibile sostenere che nella logica proposizionale classica "esisterebbe un teorema che conclude con la contraddizione ".

--Flavione 19:30, 17 lug 2006 (CEST)Rispondi