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