|
||||
|
||||
כנ"ל לגבי הוכחות לוגיות, אבל- למה לומר "להוכיח" אקסיומה ולא "להזכיר" אחת מהנחות המערכת? זה מותיר מקום לבלבול, ממילא אף אחד לא מעוניין לבדוק את נכונות האקסיומה(ובאילו כלים ניתן, אם בכלל). |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |