For Church's "An Unsolvable Problem of Elementary Number Theory"