Das Ziel dabei ist einerseits, dass in einem formalen System nur Zeichenketten (Sätze) hergeleitet werden können, die bei einer plausiblen Interpretation auch wahr sind.
das tsˈiːl dɑːbˈaɪ ɪst ˈaɪnɜzˌaɪts, das ɪn ˌaɪnəm fˈɔɾmɑːlən zystˈeːm nˈuːɾ tsˌaɪçənkˈɛtən zˈɛtsə hˈɛɾɡəlˌaɪtət vˌɛɾdən kˈœnən, diː baɪ ˌaɪnɜ plaʊzˈiːblən ˌɪntɜpɾˌeːtatsjˈoːn ˌaʊx vˈɑːɾ zɪnt.