Abstract A Liouville function is an analytic function H : ℂ → ℂ with a Taylor series such the a n 's form a “very fast growing” sequence of integers. In this paper we exhibit the complete first-order theory of the complex field expanded with H .