בתשובה לאח של סמיילי, 27/10/05 19:40
The axiom of extensionality והנחת המבוקש 341979
"שלכל מודל של T יש הרחבה יחידה למודל של 'T."

האם הכתוב לעיל אומר שלכל מודל T יש מקבילה חד-משמעית ב-'T ?
The axiom of extensionality והנחת המבוקש 341983
אני לא יודע אם זה טעות או בכוונה, אבל T הוא לא מודל, וחסרה בתגובה שלך המילה "של".
כמו כן, אני לא בטוח שאני מבין למה אתה מתכוון כשאתה אומר "מקבילה חד משמעית".
אני חושב שהניסוח שלי היה מאוד מובן, ואין צורך למצוא ניסוח אחר. אם אתה לא מבין אותו, תשאל.

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

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