כשל לוגי

אפשר דרך תחשיבים. למשל מציבים באקסיומות של תחשיב הילברט ומקבלים אותו כאמת

ראוי לציין שזה לא באמת נכון "שמערכת שמכילה סתירה ניתן לגזור ממנה כל מסקנה שהיא". זה נכון בתחשיב פסוקים. זה שגוי בלוגיקות פארא-קונסיסטנטיות.