• jdr@lemmy.ml
    link
    fedilink
    arrow-up
    2
    ·
    2 days ago

    That’s not enough for the complex field. This just gets you to the rationals with a complex unit. You need to be able to take limits to complete the real line. Go read Spivak.