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