When introducing the notion of well-ordering in 1883, Cantor expressed his belief that the fact that any set (‘manifold’) can be well-ordered is ‘a law of thought [Denkgesetz]’, thus putting forward what for convenience we can call the well-ordering hypothesis (WOH):