The first-order theory of the rational numbers with addition, multiplication, and equality, established by Julia Robinson in 1949.
Теорија првог реда рационалних бројева са сабирањем, множењем и једнакошћу, успоставила Џулија Робинсон, 1949.