Alle auf diese folgenden Sätze sind entweder ebenfalls Axiome (bei manchen Kalkülen sind auch weitere Annahmen zulässig) oder sind aus einer oder mehreren der vorangehenden Zeilen durch Anwendung von Schlussregeln entstanden.
ˈalə aʊf dˌiːzə fˈɔlɡəndən zˈɛtsə zɪnt ɛntvˈeːdɜ ˈeːbənfˌals ˈaksɪˌoːmə baɪ mˈançən kˈalkyːlən zɪnt ˌaʊx vˈaɪtərə ˈannˌɑːmən tsuːlˈɛsɪç ˌoːdɜ zɪnt ˌaʊs ˌaɪnɜ ˌoːdɜ mˈeːrərən dɛɾ fˈoːrˌanɡˌeːəndən tsˈaɪlən d??ç ˈanvˌɛndʊŋ fɔn ʃlˈʊsreːɡəln ɛntʃtˈandən.