This, of course, is in contrast with the propositional calculus which has a decision procedure based on truth tables. Church's Theorem extends the incompleteness proof given of Gödel in 1931.
Ito, ng mga kurso, ay sa kaibahan sa propositional calculus na kung saan ay may isang desisyon batay sa mga pamamaraan ng katotohanan tables. Simbahan ng teorama nagpalawak hanggang sa incompleteness patunay na ibinigay ng Gödel sa 1931.