- eine METHODE, die auf der Verwendung von SYMBOLen beruht, deren kombinatorische GESETZe bekannt und ALLGEMEIN sind und deren Resultate eine eindeutige Auslegung gestatten (BOOLE)