Kolmogorov's 0-1 law as false-truth law

Abstract

The Kolmogorov's 0-1 law is so powerful and fundamental in Probability theory that the result of the law of large numbers is its corollary. The latter is the theoretical bedrock of modern day statistical machine learning. Expected resurgence in the interest of the law's proof is challenged by its measure theoretic nature. By observing 0-1 law as False-Truth law like in logic, we show here that the proof of the law is simplified. This simplicity comes from the fact that our approach hardly needs any measure theory beyond defining an obvious probability space. A novel contribution via this article is the use of logic within the proof of a fundamental result in the theory of probability.