We show the mathematical formulation of the process of pair production in electromagnetic fields for
spinless particles. We compute the probability that ? pairs are created in the semiclassical approximation,
and we prove that, in this approach, the pair creation phenomenon is a stochastic Poisson process. Finally,
we give a rigorous demonstration and a suitable interpretation of the Schwinger formula.