Short Sheffer-Stroke Based Single Axiom

I find this one of the most beautiful results of current mathematics.