Nice comment explaining the difference between two viewpoints. The former one is set theoretic i.e. set of objects (eg. terms) and operations (eg. and/or/not)

Nice comment explaining the difference between two viewpoints. The former one is set theoretic i.e. set of objects (eg. terms) and operations (eg. and/or/not) defined on those objects. The latter is an algebraic specification where a number of properties (expressed by logical formulas which can be axioms or theorems) are expected to be satisfied by the operations. Also see https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_algebra https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... PS: I would take any claim by Stephen Wolfram as having been "the first" to discover anything with a boatload of salt.