שלום רב,



ברצוני לשאול כמה שאלות-







1)משפט השלמות של גדל קובע שאם לתורה עקבית יש מודל שמקיים את כל האקסיומות שלה אז היא עקבית. מה הכוונה של מודל זה?



האם אפשר להשליך את זה לדבר הבא-



רשימת תנאים לבניין חדש-

א)הבניין יהיה בעל 10 קומות

ב)הבניין יהיה בעל 12 קומות(שזה סותר,מן הסתם את סעיף 1)

ג)סעיף ב לא מתקיים



קיים מודל שמקיים את כל התנאים ביחד(1,2,3),ולכן הרשימה הזאת היא "תורה" עקבית.

האם מותר להגיד את זה והאם זו בכלל הכוונה?



2)כאשר מגדירים תחום חדש(כמו המספרים המרוכבים),איך יודעים שהוא רק מוסיף על הישן ולא סותר את הישן?כלומר מהווה הכללה?מהי השיטה שמשתמשים בה כדי להכליל דברים?





אשמח לקבל התייחסות לשאלות.

תודה רבה!