dɔvˈɔdɛm fɔrmˈuwɨ w ɔpˈartɕu ɔ zbjˈur fˈɔrmuw nˌazɨvˈamɨ kˈaʒdɨ skɔɲtʃˈɔnɨ tɕˈɔŋk fˈɔrmuw tˈaki, ʒˈɛ tʃˈɨli ɔstˈatɲʲa fɔrmˈuwa f tɨm tɕˈɔŋɡu jɛst ˌidɛntˈɨtʃna s fɔrmˈuwɔ̃ dˌɔvɔdʑˈɔnɔ̃ ˌɔraz dla kaʒdˈɛɡɔ fskaʑɲˈika spɛwɲʲˈɔnɨ jɛst pʃɨnˈajmɲʲɛj jˈɛdɛn z nˌastɛpujˈɔntsɨɣ varˈuŋkuf:
Dowodem formuły  w oparciu o zbiór formuł  nazywamy każdy skończony ciąg formuł  taki, że  (czyli ostatnia formuła w tym ciągu jest identyczna z formułą dowodzoną) oraz dla każdego wskaźnika   spełniony jest przynajmniej jeden z nastepujących warunków: