Hi,<div><br></div><div>Does anyone know if it's possible to formalise the real numbers in DL? I know the supremum property requires at least second-order logic, but can it somehow be reformualted and still fit in FOL or even DL? Has there been any attempt?</div>
<div><br></div><div>Thanks</div><div>Steve</div>