Мышление и математическая логика

Математика является наукой, в которой все утверждения доказываются с помощью умозаключений, то есть путем использования законов человеческого мышления. Изучение законов человеческого мышления является предметом логики.
Как самостоятельная наука логика оформилась в трудах греческого философа Аристотеля (384-322 г.г до н.э.). Он систематизировал известные до него сведения, и эта система стала впоследствии называться формальной или Аристотелевой логикой.
Формальная логика просуществовала без серьёзных изменений более двадцати столетий. Естественно, что развитие математики выявило недостаточность Аристотелевой логики и потребовало дальнейшего её развития.