これらの公理から明らかに定理 "p"→"p" が得られる(命題論理参照)。