dennis scharnberg

You must have definitions.  Definitions are circular.  You need axioms, and those are assumptions.  Purity, therefore, is right out.

Trevor Albertus, Malevolent Asymmetry.