Olszewski, A. Some Remarks Concerning Church’s Thesis and Hilbert’s Axiom. ZFN 2006, 114-126.