[potiuper]

Like the shortest axiom for classical propositional logic using NAND in the Chapter 12, which is the last chapter, on page 773 in New Kind of Science with no proof or references?

[potiuper]

It does have a proof on pg 810, but it's still at the back of the book.

[potiuper]

See https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_alg... for claim dispute.