9/8/07

Short Sheffer-Stroke Based Single Axiom



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