 |
על כל דבר במתמטיקה אפשר לחשוב בתור קבוצה (פחות או יותר).
בכל אופן, יש מין שאלת ביצה-תרנגולת כאן. אם יש לך לוגיקה, אתה יכול בעזרתה לדבר על קבוצות ועל כל היקום המתמטי, אם יש לך קבוצות, אתה יכול בעזרתן לתאר את הלוגיקה, אבל משהו צריך לבוא קודם, לא?
חזרה לגדל: הניסוח המועדף עלי אומר: כל תורה, או שאין לה תאור סופי, או שהיא פשוטה (במובן שאי אפשר לנסח טענות מסוימות) או שאינה עקבית (אפשר להוכיח ולהפריך כל דבר) או שאינה שלמה (יש פסוקים אי אפשר להוכיח או להפריך). אם אתה מניח שיש מספרים טבעיים "אמיתיים" שם בחוץ, אז אין תאור סופי נכון ומלא שלהם. בפרט אם התאור שלי סופי ונכון, אז הוא אינו מלא, כלומר, יש טענות נכונות שהוא אינו מראה.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש