Das einfachste Beispiel wäre ein Kalkül, in dem jede Formel der aussagenlogischen Sprache herleitbar ist.
das ˈaɪnfˌaxstə bˈaɪʃpiːl vˈɛːrə aɪn kˈalkyːl, ɪn deːm jˈeːdə fˈɔɾməl dɛɾ ˈaʊszˌɑːɡənlˌoːɡɪʃən ʃpɾˈɑːxə hˈɛɾlaɪtbˌɑːɾ ɪst.