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