Yes, because there is a definable ordinal pairing function.