Take the axioms of ZFC, Peano arithmetic, or some other familiar theory and try writing them down in a logic formalism that features only the NAND connective, and you’ll see what I’m talking about. (Better yet, try devising a formal proof system using such formalism!)
Take the axioms of ZFC, Peano arithmetic, or some other familiar theory and try writing them down in a logic formalism that features only the NAND connective, and you’ll see what I’m talking about. (Better yet, try devising a formal proof system using such formalism!)