(17.11.2010 20:53)Efrit Wrote: А вот нифига Как раз таки математика - подмножество матлогики, а не наоборот.
Матлогика - раздел математики, т.е. подмн-во, не путай народ. Мысль понятна, но даже математика переводится на язык мат.логики не так уж очевидно - Бурбаки много чего нагородили.