Artykuły według tagu: formal-logic

Budowa liczb rzeczywistych w matematyce formalnej

Dowiedz się, jak konstruuje się ℝ z ℕ poprzez pary, cięcia Dedekinda i argument diagonalny Cantora. Dla programistów: formalne konstrukcje arytmetyki bez założeń.