of page 254, where (S) denotes the line integral of a function k along the curve s that encloses the area S.) A proof of the theorem was finally provided
Löwenheim–Skolem theorem" — that is, D C {\displaystyle {\mathsf {DC}}} implies the Löwenheim–Skolem theorem. See table Moore, Gregory H. Zermelo's Axiom