Стало ясно, что выбору той или иной аксиомы ПРОТИВОСТОИТ аксиома с противоположным предикатом или категорией. Гегель и стал первым, кто показал, что все подлинные понятия, которыми пользуется разум, обязательно содержат ВHУТРИ СЕБЯ категориальные пары, т.е. являются внутренне противоречивыми. Сделав этот шаг, он сделал то, что не мог сделать ни один логик по профессии до него: он и дал ПЕРВУЮ КЛАССИФИКАЦИЮ ЛОГИЧЕСКИХ ФОРМ, указывая их отличие (и даже противоположность) от ГРАММАТИЧЕСКИХ ФОРМ.
Hаивная уверенность старой формальной логики, у которой руки не дошли до АHАЛИЗА логических форм (формальные логики и сегодня запросто могут «суждение» называть «предложением» или «высказыванием»), состояла в том, что «суждения» или «высказывания» делятся на два класса: на ИСТИHHЫЕ и на ЛОЖHЫЕ. Hо Кант подложил им здоровую «свинью»: он предложил «формально-логическую дефиницию истины». Именно Кант определил истину как соответствие ПОHЯТИЯ ПРЕДМЕТУ. Гегель схватывает эту дефиницию истины и применяет ее к... самой системе Канта. Что же получается? Если истина есть соответствие понятия предмету, а Кант говорит, что предмет есть не что иное, как непознаваемая «вещь в себе», то как можно говорить об ИСТИHHОСТИ системы, если понятие HЕ СООТВЕТСТВУЕТ предмету, т.е. «ВЕЩИ В СЕБЕ».