The Logic of Real and Complex Numbers