Definition: A Cantorian, also known as a "Cantorian", is a type of mathematical object that is defined by its own set of axioms and rules. These axioms specify how the Cantor's Diagonalization Theorem should be interpreted. The Cantor's Diagonalization Theorem states that any infinite sequence of natural numbers can be made into a countable ordinal (i.e., an ordinal number). This means that every sequence of natural numbers has a "diagonal" or "