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.
ربّما كان يعلم وكتب عن قصد المُسلَّمة المتوازية بهذه الطريقة ليدع العقول الفضولية بعده أن يستخرجوا التفاصيل