בתשובה לדורון שדמי, 29/09/05 0:01
רגע 333574
אתה מאוד חופשי עם ההגדרות שלך. אני לא מבין את ההגיון שמנחה אותך ב"משלים". רגע אחד זה משלים סטייל תורת הקבוצות, ורגע אח"כ משלים סטייל איבר נגדי בחוג.

מה המשלים של {{}, {{}}, {{{{}}},{}}}?
רגע 333661
גדי,

אסביר שוב, את עולם המתמטיקה-המונדית:

יש שניי מצבי-יסוד בלתי מורכבים המשמשים כאי-שונות הקיומית של המתמטיקה-המונדית.

מצבי-יסוד אלה הם:

א) ריקנות מוחלטת.

ב) מלאות מוחלטת.

המתמטיקה-המונדית היא *לא פחות* מהגישור בין (א) לבין (ב), כאשר (א) ו-(ב) הם עצמאיים-הדדית (לכן השתמשתי במילה "גישור" ולא במילה "חבירה", אשר אינה מחייבת בהכרח עצמאיות-הדדית), או במילים אחרות, הם האקסיומות המכוננות את המתמטיקה-המונדית.

תמונת-ראי מתקיימת רק ואך ורק בין האלמנטים שהם תוצרי הגישור בין (א) ל-(ב), לדוגמא:

1_0 (השקול ל-‏1 במתמטיקה רגילה) הוא תמונת ראי של 0_1 (השקול ל- 1- במתמטיקה רגילה).

בקיצור, יש תלות קיום הררכית של תמונות-הראי, בעצמאיות-ההדדית של (א) ושל (ב).

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

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