Which part is impossible? It was implied that perfect rational numbers are possible, so I’m wondering what stops the square with rational side length from existing and having an irrational diagonal.

An unprovable assertion.