** Andronikos V Palaiologos ( c. 1400 – c. 1407 ), Co-Emperor with his father John VII Palaiologos

** Beheading of St. John the Baptist

** " Hello, John ," I said.

** John Vianney

** Obadiah, from John Gill's Exposition of the Entire Bible.

** John I ( 1316 )

** John II ( 1350 – 1364 )

** John I, also John II of France ( 1361 – 1363 )

** John II ( 1404 – 1419 )

** John I ( 1237 – 1286 )

** John II ( 1286 – 1305 )

** John III ( 1312 – 1341 )

** John IV ( 1341 – 1345 )

** John V ( 1364 – 1399 )

** John VI ( 1399 – 1442 )

** John IV ( 1415 – 1427 )

** John II ( 1453 – 1470 )

** John I, The Good or The One of Happy Memory 1385-1433

** John II, The Perfect Prince 1481-1495

** John III, the Pious 1521-1557

** John I, 6th Duke of Braganza and 1st Duke of Barcelos ( 1562 ).

** John II, 8th Duke of Braganza and 3rd Duke of Barcelos.

** Clavichord by John Christopher Jesse, Halberstadt, Germany, 1765

** John of Damascus

** 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.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** 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.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** 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.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** Every infinite game in which is a Borel subset of Baire space is determined.

** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.

** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.

** The Nielsen – Schreier theorem, that every subgroup of a free group is free.