Eves observes "that logicians have endeavored to push down further the starting level of the definitional development of mathematics and to derive the theory of sets, or classes, from a foundation in the logic of propositions and propositional functions".
Ο Eves παρατηρεί ότι "οι επιστήμονες προσπάθησαν να πιέσουν προς τα κάτω το επίπεδο εκκίνησης της ανάπτυξης του ορισμού των μαθηματικών και να αντλήσουν τη θεωρία των συνόλων ή των τάξεων από μία θεμελίωση στη λογική των προτάσεων και των προτασιακών συναρτήσεων"..