Eine Herleitung ist eine Liste von aufsteigend nummerierten Sätzen, die mit einer oder mehreren Annahmen (den Prämissen der Herleitung) oder Axiomen beginnt.
ˌaɪnə hˈɛɾlaɪtˌʊŋ ɪst ˌaɪnə lˈɪstə fɔn ˈaʊfʃtˌaɪɡənt nˌʊmeːrˈiːɾtən zˈɛtsən, diː mɪt ˌaɪnɜ ˌoːdɜ mˈeːrərən ˈannˌɑːmən deːn pɾˈɛːmɪsən dɛɾ hˈɛɾlaɪtˌʊŋ ˌoːdɜ ˈaksɪˌoːmən bəɡˈɪnt.