Zero-One Law

A phenomenon in probabilistic logic and finite model theory: for a fixed logical language and a probability distribution on finite structures (commonly uniform on n-element structures or G(n,p) graphs), every sentence has a limiting probability as the size grows, and the Zero-One Law asserts that this limit is always either 0 or 1.