We use cookies to measure traffic and show relevant ads. By clicking Accept you agree to our use of analytics and advertising cookies.
Zjistěte, jak se konstruuje ℝ z ℕ prostřednictvím párů, Dedekindových řezů a diagonálního argumentu Cantora. Pro vývojáře: formální konstrukce aritmetiky bez předpokladů.
