Как и Molire's M. Jourdain, который говорил прозу всю свою жизнь, не зная об этом, математики рассуждали по крайней мере два тысячелетия, не осознавая все принципы, лежащие в основе того, что они делали. Настоящая природа инструментов их ремесла стала очевидной только в последнее время, когда эпохи Возрождения логических исследований в современную времена начинается с публикации в 1847 году «Математический анализ логики Джорджа Була».