DALLA GEOMETRIA EUCLIDEA ALLE GEOMETRIE NON EUCLIDEE
DALLA GEOMETRIA EUCLIDEA ALLE GEOMETRIE NON EUCLIDEE
DALLA GEOMETRIA EUCLIDEA ALLE GEOMETRIE NON EUCLIDEE
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CARATTERISTICHE DI UN SISTEMA DI<br />
ASSIOMI<br />
• Coerenza : se il sistema degli assiomi fosse non<br />
coerente si autodistruggerebbe e genererebbe una<br />
teoria contraddittoria nella quale sarebbe<br />
dimostrabile ogni proposizione e la sua negazione<br />
(si tratta della legge di Duns Scoto , già nota alla<br />
logica medievale : ex contradctione sequitur<br />
quodlibet )<br />
• Indipendenza : consiste nel che un assioma non sia<br />
derivabile da altri come teorema