בתשובה לצב מעבדה, 15/07/05 9:25
שאלת תם 317035
אני מקווה מאוד שזכרונך בוגד בך, שכן הניסוח שהבאת הוא די לגמרי חסר-פשר. אפשר עוד לנחש מהי תורה מתמטית שתומכת בפעולת-חיבור, אבל ההיגד ''בתורה כלשהי תהייה לפחות אקסיומה אחת'' הוא היגד בעברית שאיני יכול לשער איך אפשר לתרגם אותו ללוגיקה מתמטית.

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

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