все, что доказывается, должно принадлежать к одному роду, ибо все доказывающие науки одинаково пользуются аксиомами.