prɔblˈɛmɛm jɛzd zupˈɛwna ɲʲˌɛɔblitʃˈalnɔɕtɕ rɛlˈatsji uʒˈɨtɨɣ dɔ kɔnstrˈuktsji pˌɔvɨʃʃˈɛɡɔ zdˈaɲʲa: kfˌantɨfikˈatɔr ɔɡˈulnɨ dla kaʒdˈɛɡɔ ˈɛn” ɲʲɛ dˈa ɕɛ bˈɔvʲɛm zapˈisatɕ jˈakɔ fˈuŋktsja ˌɔblitʃˈalna.
Problemem jest zupełna nieobliczalność relacji użytych do konstrukcji powyższego zdania: kwantyfikator ogólny „dla każdego n” nie da się bowiem zapisać jako funkcja obliczalna.