Combinatory logic and lambda calculus were both originally developed to achieve a clearer approach to the foundations of mathematics.
Τόσο η συνδυαστική λογική και ο λογισμός λάμδα αναπτύχθηκαν αρχικά για να επιτευχθεί μια πιο καθαρή προσέγγιση στη θεμελίωση των μαθηματικών.