לוגיקה מתמטית – הבדלי גרסאות

'''לוגיקה מתמטית''' הוא תחום ב[[מתמטיקה]], העוסק במערכות פורמליות ובדרך בה הן מקודדות מושגים אינטואיטיביים, כגון [[הוכחה]] או [[חישוביות]]. התחום הוא אחד מקבוצה של תחומים המכונים [[יסודות המתמטיקה]] משום שהם עוסקים בבסיס הפורמלי של המתמטיקה כולה.

לוגיקה מתמטית עוסקת באותם חלקים של ה[[לוגיקה]] שניתן ליצור להם [[מודל מתמטי]]. בעבר נקרא התחום גם בשמות '''לוגיקה סימבולית''' (בשל עיסוקו בטענות המיוצגות בידי סמלים) או '''מטה-מתמטיקה'''. השם השני מתייחס כיום רק ל[[תורת ההוכחות]], אחד התחומים בלוגיקה מתמטית.