ฉันได้อ่านว่าตอนแรกคริสตจักรเสนอ -calculus เป็นส่วนหนึ่งของPostulate of Logic paper ของเขา(ซึ่งเป็นการอ่านที่หนาแน่น) แต่ Kleene ได้พิสูจน์ว่า "ระบบ" ของเขาไม่สอดคล้องกันหลังจากนั้นคริสตจักรได้แยกสิ่งต่าง ๆ ที่เกี่ยวข้องสำหรับงานของเขาใน "การคำนวณที่มีประสิทธิภาพ" และละทิ้งงานก่อนหน้าของเขาในตรรกะ
ดังนั้นที่ผมเข้าใจมัน -System และสัญลักษณ์ของมันเอารูปแบบเป็นส่วนหนึ่งของสิ่งที่จะทำอย่างไรกับตรรกะ ตอนแรกศาสนจักรพยายามทำอะไรเพื่อให้บรรลุว่าเขาแยกออกจากกันในภายหลัง อะไรคือเหตุผลเบื้องต้นในการสร้าง -calculus?