Woleński, J. Analyticity and Metamathematics. FPhil 1993, No. 9, 125-131. https://doi.org/10.18778/0208-6107.09.13.