תומר - לגבי הוכחת המשפטים עצמם - לזה כבר התייחסו המרצים . אבל נוסח משפט - ברור שחייבים לדעת ! אחרת איך תדעו האם בכלל אתם יכולים להשתמש במשפט ?
::ואם אנחנו יודעים באופן כללי? צריך לדעת ממש באופן מדויק כל משפט ומשפט?..
תומר - לא יודע מה זה "כללי" - או שיודעים מה טענת המשפט או שלא יודעים . לדוגמא - יש הבדל אם באיזה משפט פונקציה צריכה להיות רציפה , או שצריך לדרוש גזירה שזה תנאי חזק יותר . או למשל בתנאי דיני להתכנסות במידה שווה בקטע - הקטע צריך להיות סגור או שלא חייבים שיהיה סגור . פשוט לזכור .. למשל . אם לא נזכור נוסח של משפטים - זה הכל .משפט איך נדע שמותר להשתמש בו ???
==שאלה==