Random variables and integral logic

We study model theory of random variables using finitary integral logic. We prove definability of some probability concepts such as having F(u) as distribution function, independence and martingale property. We then deduce Kolmogorov's existence theorem from the compactness theorem.