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.
אולי הוא ידע וכתב את אקסיומת המקבילים בכוונה באופן שיגרום למוחות הסקרניים שיבואו אחריו למצות ממנה את הפרטים הקטנים.