Я это понимаю. Но, так же я понимаю, что, например, "логику" счисления предикатов, которую употребляют философы, - такую логику математические логики упоминают с матерными добавлениями в три уровня. Да, да, я сам такое слышал в профильном заведении от математиков верхнего уровня.Но, мы то гораздо ближе к философам, нежели к математикам.