For the case of denumerable state space we put in place of .

Dla przypadku przeliczalnego przestrzeń stanów kładziemy zamiast.

Hence, there is a countable, or denumerable, infinity of computer programs.

Stąd, jest policzalny, albo przeliczalny, nieskończoność programów komputerowych.

(This will take a denumerable infinity of steps.)

(To weźmie przeliczalną nieskończoność schody.)

This set is denumerable.

Ten zbiór jest przeliczalny.

Any infinite set that can be placed in one-to-one correspondence with the natural numbers is said to be "countable" or "denumerable".

Jakiemukolwiek nieskończonemu zbiorowi, który może być umieszczony w odpowiedniości wzajemnie jednoznacznej z liczbami naturalnymi każą być "policzalny" albo "przeliczalny".

The set of real arithmetical numbers is denumerable, dense and order-isomorphic to the set of rational numbers.

Zbiór rzeczywistych arytmetycznych liczb jest przeliczalny, gęsty i porządek-izomorficzny do zbioru liczb wymiernych.

Sweden's twenty-seven-year-old media-acclaimed 'prodigy' of astrophysics tries once more to predict his pattern in a way that will make them denumerable.

Dwadzieścia-siedmiolatek Szwecji medialny-oklaskiwać 'wyjątkowy talent' z astrofizyki próbuje jeszcze raz przewidzieć jego wzór w sposób, że to uczyni ich przeliczalni.

In particular, there exists a model of ZF in which there exists an infinite set with no denumerable subset.

W szczególności, tam istnieje model ZF w który tam istnieje nieskończony zbiór z żadnym przeliczalnym podzbiorem.

Therefore, in order to avoid ambiguity, one may use the term finitely enumerable or denumerable to denote one of the corresponding types of distinguished countable enumerations.

Dlatego, aby unikać dwuznaczności jeden może używać terminu skończenie policzalny albo przeliczalny oznaczyć jednego z analogicznych typów dystyngowanych policzalnych policzeń.

He called these cardinal numbers transfinite cardinal numbers, and defined all sets having a one-to-one correspondence with N to be denumerable (countably infinite) sets.

Wywołał te liczebniki główne transfinite liczebniki główne, i określone gotowe mające odpowiedniość wzajemnie jednoznaczną z N być przeliczalnym (policzalnie nieskończony) zbiory.

R. Vaught, "Denumerable models of complete theories", Infinitistic Methods (Proc.

R. Vaught, "przeliczalne modele kompletnych teorii", Infinitistic Methods (Proc.

In this paper he characterizes the countable ("denumerable") structures which can be made into models of a theory by adding interpretations of the extra predicates used in defining the theory.

W tym papierze on charakteryzuje policzalny ("przeliczalny") struktury, które mogą być zrobiły do modelów teorii przez dodawanie, że interpretacje dodatkowych orzeczeń użyły w określaniu teorii.

He used this concept to define finite and infinite sets, subdividing the latter into denumerable (or countably infinite) sets and uncountable sets (nondenumerable infinite sets).

Wykorzystał to pojęcie do określenia ograniczonych i nieskończonych zbiorów, rozdzielając drugiego do przeliczalny (albo policzalnie nieskończony) zbiory i niezliczone zbiory (nondenumerable nieskończone zbiory).

The axiom of countable choice or axiom of denumerable choice, denoted AC, is an axiom of set theory (a special case of the axiom of choice).

Aksjomat policzalnego wyboru albo aksjomatu przeliczalnego wyboru, oznaczone AC, jest aksjomatem teorii zbiorów (szczególny przypadek aksjomatu wyboru).

His address was published in the Conference Proceedings (The Theory of Models, North-Holland Publishing Co., 1965) as "On the denumerable models of theories with extra predicates", pp 376-389.

Jego adres został wydany w materiałach pokonferencyjnych (Teoria Modelów, North-Holland Publishing Co., 1965) jak "na przeliczalnych modelach teorii z dodatkowymi orzeczeniami", pp 376-389.

Cantor defined countable sets (or denumerable sets) as sets which can be put into a 1-to-1 correspondence with the natural numbers, and proved that the rational numbers are denumerable.

Kantor określił policzalne zbiory (albo przeliczalne zbiory) jako zbiory, w które mogą wkładać 1 - aby-1 korespondencja z liczbami naturalnymi, i udowodnić, że liczby wymierne są przeliczalne.

The syntax of a first-order theory can describe only a denumerable number of sets; hence, only denumerably many sets may be eliminated in this fashion, but this limitation is not binding for the sort of mathematics contemplated here.

Składnia pierwszy-zarządzenie, że teoria może opisywać tyle że przeliczalnej liczby zbiorów; stąd, tylko denumerably wiele zbiorów może być wyeliminowanych w tej modzie ale to ograniczenie nie jest wiążące dla rodzaju matematyki rozważonej tu.

Unlike Tarski's approach, however, Kripke's lets "truth" be the union of all of these definition-stages; after a denumerable infinity of steps the language reaches a "fixed point" such that using Kripke's method to expand the truth-predicate does not change the language any further.

W odróżnieniu od podejścia Tarski, jednakże, okresy wynajmu Kripke "prawda" być wszystkich z tych definicja-etap związkiem zawodowym; po przeliczalnej nieskończoności schody język dochodzi "punkt stały odwzorowania" taki że wykorzystywanie metody Kripke do rozwinięcia prawda-orzeczenie nie zmieniają języka którykolwiek dalszy.

By making the assumption that bodies are finite Dumbleton was able to conjecture that contraction or expansion, as in cases of condensation or rarefaction, does not eliminate any parts of a body; rather, a "denumerable number of parts" always exists (Glick, p. 518).

Przez składanie przypuszczenia, że ciała są ograniczone Dumbleton mógł przypuszczać to kurczenie się albo rozwój, jak w przypadki zagęszczania albo rozrzedzenia, nie eliminuje jakichkolwiek części ciała; raczej, "przeliczalna liczba części" zawsze istnieje (Glick, p. 518).

He also proved that the set of all ordered pairs of natural numbers is denumerable (which implies that the set of all rational numbers is denumerable), and later proved that the set of all algebraic numbers is also denumerable.

Również udowodnił, że krąg wszystkich par uporządkowanych liczb naturalnych jest przeliczalny (który sugeruje, że zbiór wszystkich liczb wymiernych jest przeliczalny), i później udowodnić, że zbiór wszystkich liczb algebraicznych jest również przeliczalny.