Es ist ohne weiteres möglich, einen Kalkül aufzustellen, in dem zwar kein Widerspruch hergeleitet werden kann, in dem aber z. B. die nicht allgemeingültige Aussage der Form „A ∨
ɛsɪst ˈoːnə vˈaɪtərəs mˈøːklɪç, ˌaɪnən kˈalkyːl ˈaʊftsuːʃtˌɛlən, ɪn deːm tsvɑːɾ kˈaɪn vˈiːdɜʃpɾˌʊx hˈɛɾɡəlˌaɪtət vˌɛɾdən kˌan, ɪn deːm ˌɑːbɜ tsˈɛt. bˈeː. diː nˈɪçt ˈalɡeːmˌaɪŋyltˌɪɡə ˈaʊszˌɑːɡə dɛɾ fˈɔɾm ˈɑː