[rramadass]

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_alg...

PS: I would take any claim by Stephen Wolfram as having been "the first" to discover anything with a boatload of salt.