Stattdessen werden Axiome gesetzt, die einfach als Zeichenketten angesehen werden, aus denen weitere ableitbare Zeichenketten aufgrund von bestimmten Schlussregeln hergeleitet werden.
ʃtˈatdɛsən vˌɛɾdən ˈaksɪˌoːmə ɡəzˈɛtst, diː ˈaɪnfˌax als tsˌaɪçənkˈɛtən ˈanɡəzˌeːən vˌɛɾdən, ˌaʊs deːnən vˈaɪtərə ˈaplˌaɪtbɑːrə tsˌaɪçənkˈɛtən ˈaʊfɡɾˌʊnt fɔn bəʃtˈɪmtən ʃlˈʊsreːɡəln hˈɛɾɡəlˌaɪtət vˌɛɾdən.