Help


[permalink] [id link]
+
Page "Gödel's incompleteness theorems" ¶ 27
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

** and Kurt
** Kurt Kroft -
** Kurt Krakowian, American child actor
** Provisional National Council Minister-President Kurt Eisner declares Bavaria to be a republic.
** Kurt Waldheim, President of Austria and Secretary-General of the United Nations ( d. 2007 )
** Kurt Schmoke, American Dean, Howard Law School, Mayor of Baltimore
** Kurt Zeitzler, German Army officer ( b. 1895 )
** Kurt Gödel, Austrian logician, mathematician, and philosopher of mathematics ( d. 1978 )
** Frances Bean Cobain, daughter of Kurt Cobain and Courtney Love
** Kurt Waldheim becomes Secretary General of the United Nations.
** Kurt Georg Kiesinger is elected Chancellor of West Germany.
** Kurt Cobain, American musician ( Nirvana ) ( d. 1994 )
** Kurt Gödel, Austrian-born mathematician ( b. 1906 )
** United Nations Secretary General Kurt Waldheim heralds the start of the International Year of the Child.
** Kurt Christoph Graf von Schwerin, Prussian field marshal ( b. 1684 )
** Kurt Westergaard, Danish cartoonist
** Kurt von Schleicher, Chancellor of Germany ( b. 1882 )
** Feininger House ( Kurt Weill Centre )
** Kurt Busch wins the 2004 Nextel Cup at the conclusion of a ten-race " playoff " by seven points.
** Kurt Goldstein
** Men's champion: Kurt Browning, Canada
** Men's champion: Kurt Browning, Canada
** Men's champion: Kurt Browning, Canada
** Men's champion: Kurt Browning, Canada
** Pair skating champions: Elisabeth Schwarz & Kurt Oppelt, Austria

** and Gödel
** Gödel, Escher, Bach: an Eternal Golden Braid by Douglas Hofstadter ( Basic Books )

** and .
** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.
** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.
** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.
** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.
** Well-ordering theorem: Every set can be well-ordered.
** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.
** Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other.
** The Cartesian product of any family of nonempty sets is nonempty.
** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.
** Every surjective function has a right inverse.
** Zorn's lemma: Every non-empty partially ordered set in which every chain ( i. e. totally ordered subset ) has an upper bound contains at least one maximal element.
** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.
** Tukey's lemma: Every non-empty collection of finite character has a maximal element with respect to inclusion.
** Antichain principle: Every partially ordered set has a maximal antichain.
** Every vector space has a basis.
** Every unital ring other than the trivial ring contains a maximal ideal.
** For every non-empty set S there is a binary operation defined on S that makes it a group.
** The closed unit ball of the dual of a normed vector space over the reals has an extreme point.
** Tychonoff's theorem stating that every product of compact topological spaces is compact.
** In the product topology, the closure of a product of subsets is equal to the product of the closures.
** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.
** Any union of countably many countable sets is itself countable.

0.409 seconds.