At that level, I'd use a geometric definition. I would postulate the existence of a set R of numbers which represent the distance along a line based on a given unit. From there, you "show" that natural and rational numbers belong to R. You show that some numbers are irrational (easy to prove that sqrt(2) is).
There are some postulate there but I think it provides the right intuition and it's not a obviously circular definition.
Comments
At that level, I'd use a geometric definition. I would postulate the existence of a set R of numbers which represent the distance along a line based on a given unit. From there, you "show" that natural and rational numbers belong to R. You show that some numbers are irrational (easy to prove that sqrt(2) is).
There are some postulate there but I think it provides the right intuition and it's not a obviously circular definition.