קטגוריה:תורת ההוכחות
קטגוריה זו כוללת ערכים ומאמרים העוסקים בתורת ההוכחות – תחום מרכזי בלוגיקה מתמטית החוקר את טבעה של ההוכחה, את מבנה הטיעון המתמטי ואת העקרונות הפורמליים שבאמצעותם ניתן לגזור משפטים מתוך אקסיומות.
דפים בקטגוריה "תורת ההוכחות"
דף קטגוריה זה כולל את 12 הדפים הבאים, מתוך 12 בקטגוריה כולה. (לתצוגת עץ)