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.
Может быть, он всё знал и написал постулат таким образом, чтобы любознательные умы будущего могли раскрыть все детали.