ˈɔba pʃɨpˈatki sɔ̃ vzajˈɛmɲʲɛ pˌɔwɔntʃˈɔnɛ: zˌapʃɛtʃˈɛɲʲɛ tfʲɛrdʑˈɛɲʲa jɛst spɛwɲʲˈalnɛ ftˈɛdɨ i tˌɨlkɔ ftˈɛdɨ, ɡdˈɨ tfʲɛrdʑˈɛɲʲɛ tɔ ɲʲɛ jɛst tˌawtɔlˈɔɡjɔ̃.
Oba przypadki są wzajemnie połączone: zaprzeczenie twierdzenia jest spełnialne wtedy i tylko wtedy, gdy twierdzenie to nie jest tautologią.