In her thesis Definability and decision problems in arithmetic Robinson proved that the arithmetic of rational numbers is undecidable by giving an arithmetical definition of the integers in the rationals.
Sa kanyang sanaysay Definability at desisyon ng problema sa arithmetic Robinson na ang arithmetic ang katuwiran ng mga numero ay undecidable sa pamamagitan ng pagbigay ng isang arithmetical kahulugan ng integers sa rationals.