בתשובה לעוזי ו., 25/08/03 10:57
שאלה מטא-מתמטית 166095
או, אז אם כך באמת אין לנו ויכוח, ותודה על ההבהרה.

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

מיץ, ראית? פחות משבוע!! :-)

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

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