Meta tags:
Headings (most frequently used words):
definition, ordered, pair, definitions, the, theory, contents, generalities, informal, and, formal, defining, using, set, category, see, also, references, wiener, hausdorff, kuratowski, quine, rosser, cantor, frege, morse, variants, proving, that, satisfy, characteristic, property,
Text of the page (most frequently used words):
the (195), and (81), set (67), ordered (64), displaystyle (60), pair (57), #theory (42), that (42), #definition (40), this (30), pairs (24), are (23), then (21), from (20), type (19), sets (18), edit (18), right (18), with (16), logic (16), for (16), property (16), left (16), short (14), order (13), elements (13), first (13), cup (13), mathematics (12), varphi (12), kuratowski (12), can (12), all (11), second (11), also (11), which (11), function (10), number (10), reverse (10), has (10), sigma (10), not (10), characteristic (10), defined (10), tarski (9), one (9), element (9), axiom (9), see (9), two (9), objects (9), only (9), bigcup (9), text (8), category (8), list (8), notation (8), proof (8), logical (8), formal (8), wiener (8), hence (8), mathbb (8), must (8), wikipedia (7), relation (7), classes (7), quine (7), cantor (7), morse (7), product (7), mathematical (7), natural (7), rosser (7), such (7), definitions (7), its (7), different (6), gödel (6), theorem (6), theories (6), recursive (6), class (6), union (6), cartesian (6), primitive (6), relations (6), have (6), projections (6), defining (6), case (6), define (6), thus (6), called (6), may (5), using (5), non (5), page (5), higher (5), types (5), functions (5), history (5), zermelo (5), von (5), neumann (5), paradox (5), grothendieck (5), general (5), universal (5), tuple (5), regularity (5), truth (5), predicate (5), model (5), numbers (5), frege (5), psi (5), van (5), heijenoort (5), same (5), isbn (5), context (5), above (5), whose (5), proper (5), times (5), where (5), given (5), but (5), notin (5), equal (5), other (5), bigcap (5), some (5), contents (4), search (4), about (4), under (4), terms (4), was (4), binary (4), fraenkel (4), problem (4), foundations (4), principia (4), mathematica (4), axiomatic (4), infinite (4), finite (4), diagram (4), argument (4), cardinality (4), object (4), proving (4), calculus (4), variable (4), propositional (4), free (4), pdf (4), hausdorff (4), notion (4), introduction (4), theoretical (4), their (4), tuples (4), implies (4), any (4), neq (4), sometimes (4), denoted (4), land (4), coordinate (4), rightarrow (4), bigg (4), taken (4), informal (4), entry (4), hide (4), move (4), sidebar (4), toggle (3), view (3), additional (3), use (3), links (3), articles (3), description (3), skolem (3), russell (3), bernays (3), paradoxes (3), kripke (3), kelley (3), singleton (3), empty (3), countable (3), ordinal (3), hypothesis (3), cardinal (3), power (3), intersection (3), operations (3), schema (3), axioms (3), abstract (3), elementary (3), equivalence (3), atomic (3), systems (3), consequence (3), euclidean (3), boolean (3), true (3), example (3), formula (3), proposition (3), press (3), holmes (3), randall (3), 1998 (3), uses (3), distinct (3), paper (3), 1967 (3), than (3), when (3), they (3), references (3), how (3), 978 (3), theoretic (3), does (3), emptyset (3), most (3), similar (3), existence (3), even (3), contain (3), requires (3), cases (3), hand (3), side (3), contradicts (3), suppose (3), because (3), satisfy (3), another (3), however (3), account (3), arbitrary (3), coordinates (3), forall (3), used (3), will (3), approach (3), usually (3), changes (3), tools (3), main (3), languages (2), table (2), contact (2), privacy (2), policy (2), foundation (2), categories (2), wayback (2), unsourced (2), statements (2), wikidata (2), concepts (2), retrieved (2), space (2), valued (2), analytic (2), algebraic (2), constant (2), domain (2), codomain (2), thomas (2), dedekind (2), paul (2), cohen (2), platek (2), new (2), naive (2), constructive (2), uncountable (2), transitive (2), subset (2), fuzzy (2), ultrafilter (2), venn (2), forcing (2), diagonal (2), continuum (2), constructible (2), universe (2), large (2), almost (2), difference (2), identities (2), disjoint (2), complement (2), infinity (2), extensionality (2), choice (2), portal (2), philosophy (2), related (2), turing (2), machine (2), complexity (2), computable (2), church (2), validity (2), semantics (2), complete (2), standard (2), arithmetic (2), spectrum (2), analysis (2), hilbert (2), rule (2), inference (2), geometry (2), minimal (2), real (2), language (2), open (2), ground (2), operation (2), sur (2), image (2), monadic (2), point (2), theorems (2), information (2), archived (2), 1953 (2), barkley (2), adequacy (2), tourlakis (2), 2003 (2), iii (2), here (2), cambridge (2), 1921 (2), 171 (2), 161 (2), doi (2), 224 (2), represents (2), reduced (2), simplification (2), pages (2), way (2), note (2), 1982 (2), journal (2), implementations (2), clarification (2), reasoning (2), 164 (2), hall (2), formalized (2), coming (2), fact (2), while (2), possible (2), triple (2), could (2), well (2), manner (2), component (2), products (2), mid (2), were (2), followed (2), hold (2), between (2), level (2), advantage (2), enabling (2), due (2), let (2), increments (2), simply (2), particular (2), always (2), alpha (2), setminus (2), cap (2), contradicting (2), again (2), therefore (2), variant (2), satisfies (2), version (2), adequate (2), variants (2), more (2), formulated (2), identical (2), since (2), 1914 (2), proposed (2), his (2), make (2), nested (2), several (2), below (2), bourbaki (2), published (2), textbooks (2), associated (2), intuitive (2), out (2), entries (2), generalities (2), lists (2), unordered (2), appearance (2), upload (2), file (2), read (2), english (2), article (2), bahasa (2), log (2), create (2), donate (2), menu (2), add, topic, mobile, cookie, statement, statistics, developers, code, conduct, legal, safety, contacts, disclaimers, available, apply, site, you, agree, registered, trademark, profit, organization, wikimedia, inc, creative, commons, attribution, sharealike, license, rendered, parsoid, last, edited, august, 2026, utc, hidden, webarchive, template, november, 2025, basic, https, org, index, php, title, ordered_pair, oldid, 1367619468, functor, morphism, implicit, partial, multivalued, generalizations, inverse, composition, restriction, constructions, bijective, surjective, injective, measurable, continuous, smooth, rational, polynomial, linear, identity, properties, specific, ernst, thoralf, bertrand, willard, john, jech, kurt, abraham, richard, georg, theorists, burali, forti, suslin, problems, alternative, superset, subbase, base, filter, hereditarily, amorphous, transfinite, induction, builder, correspondence, family, methods, symmetric, morgan, laws, specification, replacement, martin, pairing, limitation, size, projective, determinacy, constructibility, global, dependent, adjunction, overview, supertask, logicism, timeline, concrete, automated, recursion, lambda, kolmogorov, versus, undecidable, decidable, decision, computably, enumerable, thesis, encoding, computability, ultraproduct, value, transfer, principle, semantic, strength, satisfiability, categorical, submodel, saturated, prime, models, interpretation, self, verifying, impossibility, zfc, independence, deductive, sequent, deduction, canonical, algebras, axiomatization, robinson, peano, term, symbol, substitution, string, signature, sentence, rank, quantifier, functional, connective, metalanguage, bound, closed, grammar, formation, conservative, extension, expression, automata, arity, alphabet, syntax, ackermann, aleph, inaccessible, enumeration, numbering, isomorphism, schröder, bernstein, jection, map, maps, inhabited, partition, hereditary, quantifiers, fixed, many, tables, connectives, algebra, square, opposition, syllogism, soundness, equiconsistency, consistency, tautology, classical, traditional, logics, löwenheim, lindström, halting, compactness, banach, undefinability, incompleteness, completeness, lemma, anthony, 1965, academic, footnote, kanamori, akihiro, 2007, elsevier, gottlob, 1893, 144, jena, verlag, hermann, pohle, 2016, 2017, original, grundgesetze, der, arithmetik, academia, bruylant, publisher, graciously, consented, permit, diffusion, monograph, via, web, 2011, boise, state, march, 2009, author, mcgraw, hill, mathematicians, opthreg, metamath, george, univ, lectures, vol, differs, requiring, 4064, fundamenta, mathematicae, ordre, dans, théorie, des, ensembles, casimir, observes, resulting, offers, show, certain, circumstances, reprinted, together, valuable, commentary, 224ff, jean, harvard, university, pbk, states, giving, 674, 32449, source, book, 1979, 1931, dipert, jun, representations, 374, 40231262, jstor, 1080, 00455091, 10715803, 353, canadian, argued, concept, paradigm, philosophical, ideas, section, discussed, entities, forster, word, fletcher, peter, patty, wayne, 1988, pws, kent, 87150, wolf, robert, freeman, 7167, 3050, conjecture, mathematician, toolbox, devlin, keith, 2004, 3rd, chapman, crc, 58488, 449, lay, steven, 2005, 4th, pearson, prentice, 148101, trybulec, andrzej, 1989, def5, abscissa, ordinate, identified, morphisms, naturally, isomorphic, commutative, inserted, allows, uniqueness, triples, respect, renders, admits, similarly, follows, makes, allow, redefined, inadmissible, modern, methodologically, equipotent, early, development, before, discovered, these, assuming, xry, outgrowths, thereof, termed, arguments, works, showed, raising, extensive, discussion, quinian, nfu, encoded, provided, extracting, undoing, yields, likewise, recovered, finally, alternate, employed, prior, leaves, otherwise, appear, range, applying, every, never, contains, further, begin, end, option, combination, contradiction, would, prove, merely, trivial, independent, interest, rather, three, moreover, indistinguishable, yet, disadvantage, keeps, having, something, might, expect, including, construction, braces, namely, adequately, expresses, false, unless, there, lesser, equally, leftrightarrow, sense, domains, codomains, generalized, obtained, previous, takes, into, extracted, extract, iterated, trivially, conjunct, exists, offered, now, accepted, obtains, kazimierz, time, felix, instead, compatible, within, observed, made, had, arities, norbert, agrees, appealing, sort, diepert, rigorously, deal, them, formally, done, ways, proven, cited, versions, edition, 1970, those, give, often, mention, exercise, satisfactory, observe, required, understand, role, group, 1954, drawbacks, both, axiomatically, assumed, unsatisfactory, descriptive, based, understanding, pointed, harm, come, relying, everyone, thinks, comparison, pointing, listing, doesn, matter, changing, specifying, introductory, respectively, contexts, considered, common, projection, purposes, notably, denoting, situations, clear, meaning, intended, textstyle, langle, rangle, line, intervals, written, picture, alternatively, components, computer, science, length, dimensional, technically, need, vector, abuse, terminology, citation, needed, vectors, scalars, sequences, significant, contrast, equals, associates, each, red, ellipse, plane, encyclopedia, item, wikifunctions, projects, printable, download, print, export, switch, legacy, parser, get, shortened, url, cite, permanent, link, what, actions, talk, ייִדיש, tiếng, việt, اردو, українська, ไทย, தமிழ், svenska, српски, srpski, slovenščina, slovenčina, simple, русский, română, português, piemontèis, polski, occitan, norsk, bokmål, nederlands, မြန်မာဘာသာ, mirandés, melayu, latina, 한국어, 日本語, italiano, ido, indonesia, interlingua, magyar, hrvatski, हिन्दी, עברית, galego, français, suomi, فارسی, euskara, eesti, español, esperanto, ελληνικά, deutsch, کوردی, català, български, العربية, subsection, top, personal, special, recent, community, learn, help, contribute, random, current, events, navigation, jump, content,
Text of the page (random words):
row a x land b y in particular it adequately expresses order in that a b b a displaystyle a b b a is false unless b a displaystyle b a there are other definitions of similar or lesser complexity that are equally adequate a b reverse b a b displaystyle a b _ text reverse b a b a b short a a b displaystyle a b _ text short a a b a b 01 0 a 1 b displaystyle a b _ text 01 0 a 1 b 11 the reverse definition is merely a trivial variant of the kuratowski definition and as such is of no independent interest the definition short is so called because it requires two rather than three pairs of braces proving that short satisfies the characteristic property requires the zermelo fraenkel set theory axiom of regularity 12 moreover if one uses von neumann s set theoretic construction of the natural numbers then 2 is defined as the set 0 1 0 0 which is indistinguishable from the pair 0 0 short yet another disadvantage of the short pair is the fact that even if a and b are of the same type the elements of the short pair are not however if a b then the short version keeps having cardinality 2 which is something one might expect of any pair including any ordered pair proving that definitions satisfy the characteristic property edit prove a b c d if and only if a c and b d kuratowski if if a c and b d then a a b c c d thus a b k c d k only if two cases a b and a b if a b a b k a a b a a a a c c d c d k a b k a thus c c d a which implies a c and a d by hypothesis a b hence b d if a b then a b k c d k implies a a b c c d suppose c d a then c d a and so c c d a a a a a a but then a a b would also equal a so that b a which contradicts a b suppose c a b then a b c which also contradicts a b therefore c a so that c a and c d a b if d a were true then c d a a a a b a contradiction thus d b is the case so that a c and b d reverse a b reverse b a b b b a b a k if if a b reverse c d reverse b a k d c k therefore b d and a c only if if a c and b d then b a b d c d thus a b reverse c d reverse short 13 if if a c and b d then a a b c c d thus a b short c d short only if suppose a a b c c d then a is in the left hand side and thus in the right hand side because equal sets have equal elements one of a c or a c d must be the case if a c d then by similar reasoning as above a b is in the right hand side so a b c or a b c d if a b c then c is in c d a and a is in c and this combination contradicts the axiom of regularity as a c has no minimal element under the relation element of if a b c d then a is an element of a from a c d a b again contradicting regularity hence a c must hold again we see that a b c or a b c d the option a b c and a c implies that c is an element of c contradicting regularity so we have a c and a b c d and so b a b a c d c d so b d quine rosser definition edit rosser 1953 14 employed a definition of the ordered pair due to quine which requires a prior definition of the natural numbers let n displaystyle mathbb n be the set of natural numbers and define first σ x x if x n x 1 if x n displaystyle sigma x begin cases x text if x notin mathbb n x 1 text if x in mathbb n end cases the function σ displaystyle sigma increments its argument if it is a natural number and leaves it as is otherwise the number 0 does not appear in the range of σ displaystyle sigma as x n displaystyle x setminus mathbb n is the set of the elements of x displaystyle x not in n displaystyle mathbb n go on with φ x σ x σ α α x x n n 1 n x n displaystyle varphi x sigma x sigma alpha mid alpha in x x setminus mathbb n cup n 1 n in x cap mathbb n this is the set image of a set x displaystyle x under σ displaystyle sigma sometimes denoted by σ x displaystyle sigma x as well applying function φ displaystyle varphi to a set x simply increments every natural number in it in particular φ x displaystyle varphi x never contains the number 0 so that for any sets x and y φ x 0 φ y displaystyle varphi x neq 0 cup varphi y further define ψ x σ x 0 φ x 0 displaystyle psi x sigma x cup 0 varphi x cup 0 by this ψ x displaystyle psi x does always contain the number 0 finally define the ordered pair a b as the disjoint union a b φ a ψ b φ a a a φ b 0 b b displaystyle a b varphi a cup psi b varphi a a in a cup varphi b cup 0 b in b which is φ a ψ b displaystyle varphi a cup psi b in alternate notation extracting all the elements of the pair that do not contain 0 and undoing φ displaystyle varphi yields a likewise b can be recovered from the elements of the pair that do contain 0 15 for example the pair a 0 b c 1 d 2 e f 3 displaystyle a 0 b c 1 d 2 e f 3 is encoded as a 1 b c 2 d 3 0 e f 4 0 displaystyle a 1 b c 2 d 3 0 e f 4 0 provided a b c d e f n displaystyle a b c d e f notin mathbb n in type theory and in outgrowths thereof such as the axiomatic set theory nf the quine rosser pair has the same type as its projections and hence is termed a type level ordered pair hence this definition has the advantage of enabling a function defined as a set of ordered pairs to have a type only 1 higher than the type of its arguments this definition works only if the set of natural numbers is infinite this is the case in nf but not in type theory or in nfu j barkley rosser showed that the existence of such a type level ordered pair or even a type raising by 1 ordered pair implies the axiom of infinity for an extensive discussion of the ordered pair in the context of quinian set theories see holmes 1998 16 cantor frege definition edit early in the development of the set theory before paradoxes were discovered cantor followed frege by defining the ordered pair of two sets as the class of all relations that hold between these sets assuming that the notion of relation is primitive 17 x y r x r y displaystyle x y r xry this definition is inadmissible in most modern formalized set theories and is methodologically similar to defining the cardinal of a set as the class of all sets equipotent with the given set 18 morse definition edit morse kelley set theory makes free use of proper classes 19 morse defined the ordered pair so that its projections could be proper classes as well as sets the kuratowski definition does not allow this he first defined ordered pairs whose projections are sets in kuratowski s manner he then redefined the pair x y 0 s x 1 s y displaystyle x y 0 times s x cup 1 times s y where the component cartesian products are kuratowski pairs of sets and where s x t t x displaystyle s x emptyset cup t mid t in x this renders possible pairs whose projections are proper classes the quine rosser definition above also admits proper classes as projections similarly the triple is defined as a 3 tuple as follows x y z 0 s x 1 s y 2 s z displaystyle x y z 0 times s x cup 1 times s y cup 2 times s z the use of the singleton set s x displaystyle s x which has an inserted empty set allows tuples to have the uniqueness property that if a is an n tuple and b is an m tuple and a b then n m ordered triples which are defined as ordered pairs do not have this property with respect to ordered pairs category theory edit commutative diagram for the set product x 1 x 2 a category theoretic product a b in a category of sets represents the set of ordered pairs with the first element coming from a and the second coming from b in this context the characteristic property above is a consequence of the universal property of the product and the fact that elements of a set x can be identified with morphisms from 1 a one element set to x while different objects may have the universal property they are all naturally isomorphic see also edit cartesian product abscissa and ordinate tarski grothendieck set theory trybulec andrzej 1989 tarski grothendieck set theory journal of formalized mathematics definition def5 of ordered pairs as x y x references edit lay steven r 2005 analysis with an introduction to proof 4th ed pearson prentice hall p 50 isbn 978 0 13 148101 5 devlin keith 2004 sets functions and logic an introduction to abstract mathematics 3rd ed chapman hall crc p 79 isbn 978 1 58488 449 1 1 2 wolf robert s 1998 proof logic and conjecture the mathematician s toolbox w h freeman and co p 164 isbn 978 0 7167 3050 7 fletcher peter patty c wayne 1988 foundations of higher mathematics pws kent p 80 isbn 0 87150 164 3 quine has argued that the set theoretical implementations of the concept of the ordered pair is a paradigm for the clarification of philosophical ideas see word and object section 53 the general notion of such definitions or implementations are discussed in thomas forster reasoning about theoretical entities randall r dipert jun 1982 set theoretical representations of ordered pairs and their adequacy for the logic of relations canadian journal of philosophy 12 2 353 374 doi 10 1080 00455091 1982 10715803 jstor 40231262 wiener s paper a simplification of the logic of relations is reprinted together with a valuable commentary on pages 224ff in van heijenoort jean 1967 from frege to gödel a source book in mathematical logic 1979 1931 harvard university press cambridge ma isbn 0 674 32449 8 pbk van heijenoort states the simplification this way by giving a definition of the ordered pair of two elements in terms of class operations the note reduced the theory of relations to that of classes cf introduction to wiener s paper in van heijenoort 1967 224 cf introduction to wiener s paper in van heijenoort 1967 224 van heijenoort observes that the resulting set that represents the ordered pair has a type higher by 2 than the elements when they are of the same type he offers references that show how under certain circumstances the type can be reduced to 1 or 0 kuratowski casimir 1921 sur la notion de l ordre dans la théorie des ensembles fundamenta mathematicae 2 1 161 171 doi 10 4064 fm 2 1 161 171 this differs from hausdorff s definition in not requiring the two elements 0 and 1 to be distinct from a and b tourlakis george 2003 lectures in logic and set theory vol 2 set theory cambridge univ press proposition iii 10 1 for a formal metamath proof of the adequacy of short see here opthreg also see tourlakis 2003 proposition iii 10 1 j barkley rosser 1953 logic for mathematicians mcgraw hill holmes m randall on ordered pairs on boise state march 29 2009 the author uses σ 1 displaystyle sigma _ 1 for φ displaystyle varphi and σ 2 displaystyle sigma _ 2 for ψ displaystyle psi holmes m randall 1998 elementary set theory with a universal set archived 2011 04 11 at the wayback machine academia bruylant the publisher has graciously consented to permit diffusion of this monograph via the web frege gottlob 1893 144 grundgesetze der arithmetik pdf jena verlag hermann pohle archived from the original pdf on 2016 10 21 retrieved 2017 09 14 kanamori akihiro 2007 set theory from cantor to cohen pdf elsevier bv p 22 footnote 59 morse anthony p 1965 a theory of sets academic press v t e mathematical logic general axiom list cardinality first order logic formal proof formal semantics foundations of mathematics information theory lemma logical consequence model theorem theory type theory theorems list paradoxes gödel s completeness incompleteness theorems tarski s undefinability banach tarski paradox cantor s theorem paradox diagonal argument compactness halting problem lindström s löwenheim skolem russell s paradox logics traditional classical logic logical truth tautology proposition inference logical equivalence consistency equiconsistency argument soundness validity syllogism square of opposition venn diagram propositional boolean algebra boolean functions logical connectives propositional calculus propositional formula truth tables many valued logic 3 finite predicate first order list second order monadic higher order fixed point free quantifiers predicate monadic predicate calculus set theory set hereditary class ur element ordinal number extensionality forcing relation equivalence partition set operations intersection union complement cartesian product power set identities types of sets countable uncountable empty inhabited singleton finite infinite transitive ultrafilter recursive fuzzy universal universe constructible grothendieck von neumann maps cardinality function map domain codomain image in sur bi jection schröder bernstein theorem isomorphism gödel numbering enumeration large cardinal inaccessible aleph number operation binary theories zermelo fraenkel axiom of choice continuum hypothesis general kripke platek morse kelley naive new foundations tarski grothendieck von neumann bernays gödel ackermann constructive formal systems list language syntax alphabet arity automata axiom schema expression ground extension by definition conservative relation formation rule grammar formula atomic closed ground open free bound variable language metalanguage logical connective predicate functional variable propositional variable proof quantifier rank sentence atomic spectrum signature string substitution symbol function logical constant non logical variable term theory list example axiomatic systems list of true arithmetic peano second order elementary function primitive recursive robinson skolem of the real numbers tarski s axiomatization of boolean algebras canonical minimal axioms of geometry euclidean elements hilbert s tarski s non euclidean principia mathematica proof theory formal proof natural deduction logical consequence rule of inference sequent calculus theorem systems axiomatic deductive hilbert list complete theory independence from zfc proof of impossibility ordinal analysis reverse mathematics self verifying theories model theory interpretation function of models model atomic equivalence finite prime saturated spectrum submodel non standard model of non standard arithmetic diagram elementary categorical theory model complete theory satisfiability semantics of logic strength theories of truth semantic tarski s kripke s t schema transfer principle truth predicate truth value type ultraproduct validity computability theory church encoding church turing thesis computably enumerable computable function computable set decision problem decidable undecidable p np p versus np problem kolmogorov complexity lambda calculus primitive recursive function recursion recursive set turing machine type theory related abstract logic algebraic logic automated theorem proving category theory concrete abstract category category of sets history of logic history of mathematical logic timeline logicism mathematical object philosophy of mathematics supertask mathematics portal v t e set theory overview set mathematics axioms adjunction choice countable dependent global constructibility v l determinacy projective extensionality infinity limitation of size pairing power set regularity union martin s axiom axiom schema replacement specification operations cartesian product complement i e set difference de morgan s laws disjoint union identities intersection power set symmetric difference union concepts methods almost cardinality cardinal number...
|
