Cantor gibt dem Ausdruck “Extension die von allen Extensionen eines Systems verschieden ist” einen Sinn indem er
vorschlägt
sagt
, eine Extension solle so genannt werden, wenn von ihr bewiesen werden kann, daß sie von den Extensionen
eines Systems diagonal verschieden ist.