計算領域理論の基本的定理は、progressionsが ω-連続ならば、denotesが存在するというものである。