לא מפורסם

פעם חשבו ש: 

אפשר להוכיח כל משפט מתמטי באמצעות מספר סופי של אקסיומות.

 

ועכשיו ידוע ש-

יש משפטים מתמטיים שאי אפשר להוכיח.

 

0 תגובות