The theory of (R, +, ×, 0, 1, =) was shown by Tarski to be decidable; it is the theory of real closed fields.
Η θεωρία του ( R {\displaystyle \mathbb {R} } , +, ×, 0, 1, =) δείχθηκε από τον Τάρσκι πως είναι αποφασίσιμη — είναι η θεωρία των πραγματικών κλειστών πεδίων.