From professional translators, enterprises, web pages and freely available translation repositories.
the uniqueness of the sequence satisfying these properties can be proven using transfinite induction.
la unicidad de la secuencia que satisface dichas propiedades se puede demostrar usando inducción transfinita.
if this transfinite induction is accepted as a finitary method, then one can assert that there is a finitary proof of the consistency of peano arithmetic.
si esta inducción transfinita es aceptada como método finitista, entonces se puede asegurar que existe prueba finitista de la consistencia de la aritmética de peano.
a platonist, however, would assert that there either does or does not exist a transfinite set with a cardinality less than the continuum but greater than any countable set.
un platonista, en tanto, diría que existe o no un conjunto transfinito con una cardinalidad menor que el continuo pero mayor que cualquier conjunto numerable.
the aristotelian prohibition of an infinite number in act, be it infinitely big or infinitely small, is kept until cantor, at the end of the xixth century, when he creates transfinite numbers and infinitely small numbers.
la prohibición aristotélica de un número infinito en acto, sea infinitamente grande o infinitamente pequeño, sigue vigente hasta cantor, a finales del siglo xix, cuando éste crea los números transfinitos y los números infinitamente pequeños.