Woleński, J. Analyticity and Metamathematics. FPhil 1993, 125-131.