It is a sign of an elementary proposition, that no elementary proposition can contradict it.
« 4.21 4.22 »