בתשובה לעוזי ו., 30/09/05 17:46
אלפיים שנות אי-הוכחה 333996
"(רציתי לחדד לדורון שדמי את הסיבה לקשיחות הלוגית של יסודות המתמטיקה)"

אתה יכול לעשות זאת אם ורק אם אתה שומר על עיקביות השימוש של המושג "יסוד" לאורך כל הדרך.

המשמעות של הנ"ל היא, שאינך מתעלם מכך שהפשוט הוא יסוד המורכב ולא להיפך.

לכן מבחינת תלות-קיום
{} --> {{}}

{{}} not--> {}

ולכן מבחינה קיומית

{{}} not~ {}

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים