pʃɨkwˈadɨ tfʲˈɛrdʑɛɲ, ktˌurɛ mˈɔʒna ˌudɔvˈɔdɲitɕ f tɛn spˈɔsup: zbjˈur lˈidʒb ʒˌɛtʃɨvˈistɨx ɲʲɛ jɛst pʃˌɛlitʃˈalnɨ, tfʲɛrdʑˈɛɲʲɛ kantˈɔra, ɲʲˌɛrɔzvʲˌɔ̃zɨvˈalnɔɕtɕ prɔblˈɛmu stˈɔpu.
Przykłady twierdzeń, które można udowodnić w ten sposób: zbiór liczb rzeczywistych nie jest przeliczalny, twierdzenie Cantora, nierozwiązywalność problemu stopu.