4.211 It is a sign of an elementary proposition, that no elementary proposition can contradict it.