Couturat, art. cit., p

3. Les principes, p. 11. Cf. Russell : The principles, § 16, p. 16. Dans les Principia mathematica de Whitehead et Russell. vol. 1. Cambridge, 1910, p. 13, la formule est encore plus simple : « Propositions primitives : Tout ce qui est impliqué par une prémisse vraie est vrai. C'est la règle qui justifie l'inférence. »