Wait did Pythagoras even know about zero? Like iirc he’s wayy before standard numerals and zero didn’t start becoming mainstream in the west ‘till long after that right?
(Speaking of, it always blows my mind that someone was able to give a proof of the irrationality of the square root of 2 without even using numbers)