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