FUNDAMENTAL THEOREMS OF ANALYSIS IN FORMALLY REAL