Dieser Kalkül umfasst die folgenden Axiome (von denen das vierte redundant, d. h. nicht unbedingt erforderlich ist, weil aus den anderen Axiomen herleitbar):
dˌiːzɜ kˈalkyːl ˈʊmfˌast diː fˈɔlɡəndən ˈaksɪˌoːmə fɔn deːnən das fˈiːɾtə rˌeːdʊndˈant, dˈeː. hˈɑː. nˈɪçt ˈʊnbədˌɪŋt ɛɾfˈɔɾdɜlˌɪç ɪst, vˌaɪl ˌaʊs deːn ˈandərən ˈaksɪˌoːmən hˈɛɾlaɪtbˌɑːɾ: