[Robinson's] theory is based on the metamathematical fact that the system of real numbers is incomplete.
[Robinson's] theory ay base sa metamathematical katunayan na ang sistema ng tunay na mga numero ay hindi kumpleto.