Text this: Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice