בתשובה לירון רביד, 24/11/04 23:16
הערות 263989
1) יש פער גדול בין האקסיומות של תורת החבורות לאלו של תורת הקבוצות. בראשונה יש תורה שאומרת שאם יש לנו עצמים בעלי תכונות אלו ואחרות אזי הם מקיימים משפטים מסוימים. בשניה יש לנו תורה שבאה לשמש בסיס פורמלי לכל המתמטיקה ה"יומיומית" כולה, והאקסיומות בה טוענות לנכונות באיזשהו מובן אבסולוטי.

2) יכול להיות שהתכוונת לתגובה 164381. במקרה זה, ודאי שנרצה לאמץ את השערת גולדבך כאקסיומה, אם פשוטה היא ואם סבוכה.

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

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