Embora L.Berman tenha provado que o problema de verificar ou falsificar qualquer declaração de primeira ordem sobre números reais que usa adição e comparação, mas não multiplicação, está no EXPSPACE. Foi mostrado quanto tempo ou espaço você precisaria para verificar ou falsificar qualquer declaração de primeira ordem sobre números reais que usa comparação de adição E multiplicação?
fonte