
Доктор Пешков показывает нам Аксиоматизацию теории — явном указании конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода.
После того как данное название (в данном случае мы это видим на фото) изучаемого объекта и его основного отношения, а также аксиома, которому это отношения должно подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этой аксиоме, не опираясь на обычное конкретное значение этого объекта и его отношения.