pʃɨkwˈadɛm tfʲɛrdʑˈɛɲʲa ɡˌɛɔmˌɛtrɨtʃnˈɛɡɔ ɲʲˌɛdajɔntsˈɛɡɔ ɕɛ vˌɨprɔvˈadʑidʑ z ˌaksjɔmˈatuf ˌɛwklidˈɛsa jɛst tfʲɛrdʑˈɛɲʲɛ pappˈusapastsˈala.
Przykładem twierdzenia geometrycznego niedającego się wyprowadzić z aksjomatów Euklidesa jest twierdzenie Pappusa-Pascala.