הוכחה (לוגיקה מתמטית) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
עריכה לא מוצלחת שחזור לגרסה 14413857 מתאריך 06:56, 23 ביולי 2013 מאת VirtuOZ
מ סדר תבניות בסוף הערך (בוט סדר הפרקים)
שורה 3:
הגדרה פורמלית זו מאפשרת לטפל במושג האינטואיטיבי "הוכחה" באופן פורמלי במסגרת תחום ה[[לוגיקה מתמטית]]. הענף של לוגיקה מתמטית העוסק בהוכחות קרוי [[תורת ההוכחות]].
 
{{קצרמר|מתמטיקה}}
[[קטגוריה:לוגיקה מתמטית]]
[[קטגוריה:הוכחה]]
 
{{קצרמר|מתמטיקה}}