. Gekon: Mam lekki problem stworzyłem coś takiego A={p∊R: pⁿ≥a ∧ p>0} B={q∊R: a>qⁿ ∨ q≤0} udowodniłem że tworzy to podział liczb rzeczywistych, więc istnieje taka liczba x że p≥x≥q dla każdego p∊A, q∊B, zgodnie z zasadą ciągłości Dedekinda jak teraz udowodnić że xⁿ=a ?

Gekon: bez ciągów

Gekon: aha, i a>0, n jest naturalne