הוכחה: הבדלים בין גרסאות בדף

#<small>מתמטיקהלוגיקה ולוגיקהמתמטית</small> סדרה סופית של [[פסוק]]ים שכל אחד מהם הוא [[אקסיומה|אקסיומות]] המראהאו נובע מפסוק קודם כילפי טענהכללי מסוימתהיסק נכונהמוגדרים.