4.211

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