Abstract: We use model theory to introduce pseudo-analytic structures, which are formal analogues of analytic objects defined in terms of classical transcendental functions. The study of these structures leads directly to deep number-theoretic conjectures and facts.