La máxima es que todo lo que puede afirmarse (o negarse) de una clase, puede afirmarse (o negarse) de todo lo incluido en la clase. Este axioma, que se supone es la base de la teoría silogística, es denominado por los lógicos el dictum de omni et nullo.