Non capisco come sia possibile sostenere che nella logica proposizionale classica "esisterebbe un teorema che conclude con la contraddizione A ∧ ¬ A {\displaystyle A\land \neg A} ".
--Flavione 19:30, 17 lug 2006 (CEST)Rispondi