Iz ove činjenice i prebrojivosti skupa Q sledi da postoje iracionalni brojevi, odnosno da je definicija kojom su uvedeni dobra.