בתשובה לאלון עמית, 18/07/05 2:57
 |
|
 |
||
|
||||
 |
אתה צודק לגבי PA: בדרך כלל מונים באקסיומות פאנו גם את אקסיומת האינדוקציה, ואז אפשר להעזר בה כדי להגדיר את הפעולות. האקסיומה הזו נשמטה ממני כי חשבתי על הניסוח מסדר ראשון. אם רוצים להשאר במסגרת של שפה מסדר ראשון, צריך לצרף את החיבור והכפל. |  |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |