Pragmatisch wählt man solche Formeln als Axiome, die semantisch gesehen Tautologien sind, also immer zutreffen, und die dabei helfen, Beweise zu verkürzen.
pɾaɡmˈɑːtɪʃ vˈɛːlt man zˈɔlçə fˈɔɾməln als ˈaksɪˌoːmə, diː zeːmˈantɪʃ ɡəzˈeːən tˌaʊtoːloːɡˈiːən zɪnt, ˈalzoː ˈɪmɜ tsuːtɾˈɛfən, ʊnt diː dɑːbˈaɪ hˈɛlfən, bəvˈaɪzə tsuː fɛɾkˈyɾtsən.