Wie Molières M. Jourdain, der sein ganzes Leben lang Prosa sprach, ohne es zu wissen, haben Mathematiker seit mindestens zwei Jahrtausenden argumentiert, ohne sich aller Prinzipien bewusst zu sein, die ihrem Handeln zugrunde lagen. Die wahre Natur der Werkzeuge ihres Handwerks ist erst in jüngster Zeit offensichtlich geworden. Eine Renaissance der Logikstudien in der Neuzeit beginnt mit der Veröffentlichung von George Booles „The Mathematical Analysis of Logic“ im Jahr 1847.