tfʲɛrdʑˈɛɲʲɛ ɡˌɛɔmɛtrˈɨtʃnɛ pʃˈɛz dvˈa dɔvˈɔlnɛ pˈuŋktɨ mˈɔʒna pʃˌɛprɔvˈadʑitɕ prˈɔstɔ̃” fɔrmˈalɲʲɛ dˈa ɕɛ zapˈisatɕ nˌastɛmpujˈɔntsɔ:
twierdzenie geometryczne „Przez dwa dowolne punkty można przeprowadzić prostą” formalnie da się zapisać następująco: