Максим заключается в том, что все, что можно подтвердить (или отказать) класса, может быть подтверждено (или отрицается) всего, что включено в класс. Эта аксиома, предполагаемая основой силлогистической теории, называется логиками Dictum de omni et nullo.