Ein Versuch, dies durchzuführen, besteht darin, die Aussagenlogik als formales System, konkret als Kalkül (eine bestimmte Art eines formalen Systems) zu definieren.
aɪn fɛɾzˈuːx, diːs dˈ??çtsuːfˌyːrən, bəʃtˈeːt dɑːrˈɪn, diː ˈaʊszˌɑːɡənlˌoːɡɪk als fˈɔɾmɑːləs zystˈeːm, kɔŋkɾˈeːt als kˈalkyːl ˌaɪnə bəʃtˈɪmtə ˈɑːɾt ˌaɪnəs fˈɔɾmɑːlən zystˈeːms tsuː dˌeːfiːnˈiːrən.