Я имел в виду понятия "математика" и "матлогика" с точки зрения именно матлогики Ведь матлогика может полностью определить все разделы математики, но не наоборот...
P.S. Если же вообще, то я просто не отношу матлогику к математике. Математика, в конечном счёте - это наука о числах. Всё её формулы и законы нужно для того, чтобы что-нибудь высчитать. А в матлогике же чисел по сути нету как таковых. Их она, конечно, вполне может определить (через пустое множество), но они ей совершенно не нужны...