The term was coined by David van Dantzig; it appears in the title of his doctoral dissertation (1931).
David van Dantzig（英語版） による造語で、自身の博士論文 (1931) の題目で用いられている。