jɛʒˈɛli dˈanɨ tɕˈɔŋk jɛzd dɔvˈɔdɛm fɔrmˈalnɨm pʃɨ zbjˈɔʒɛ ˌaksjɔmˈatuf tɔ mˈuvi ɕɛ, ʒˈɛ jɛst tɔ dˈɔvut fɔrmˈalnɨ dla z ˌɔraz ʒˈɛ dˈa ɕɛ dˈɔvʲɛʑdʑ zɨ
Jeżeli dany ciąg  jest dowodem formalnym przy zbiorze aksjomatów  to mówi się, że jest to dowód formalny dla  z  oraz że  da się dowieść z