Maybe he did know and he wrote the postulate in such a way as to leave curious minds after him to flush out the details.
Peut être le savait-il et a écrit l'axiome de telle manière que des esprits curieux après lui viendraient débusquer les détails.