(set theory) The paradox that supposing the existence of a set of all ordinal numbers leads to a contradiction; construed as meaning that it is not a properly defined set.