Proofs Without Syntax. Annals of Mathematics, to appear. Draft http://boole.stanford.edu/˜dominic/papers/pws . Submitted version of August 2004: http://arxiv.org/abs/math/0408282 (0)

by D J D Hughes