4.211 É um signo da proposição elementar que nenhuma outra possa estar em contradição com ela.