Metoda diagonalna Cantora  oraz wszelkie jej modyfikacje wykorzystywane przez specjalistów od Teorii Mnogości w celu wykazania istnienia zbiorów o liczebności większej niż liczebność zbioru ℕ – zbioru liczb naturalnych, przedstawiona przy pomocy metajęzyka, sama w sobie nie jest autoreferencyjna – pod warunkiem, że owa formuła jest izolowana i nic nie ma poza nią samą. Powinna...Read More