Before considering these principal periods in mathematics, it is necessary to pay attention to some historical and philosophical roots of the genesis of the modern mathematical categories.<\/p>\n
Kant\u2019s philosophical ideas concerning the construction of mathematical objects determined for the most part further development of mathematics and, especially, the researches in the foundations of mathematics. Supposing that mathematical knowledge is formed by construction of its objects, Kant distinguished the following kinds of mathematical reasoning, that is, definitions, axioms and demonstrations.<\/p>\n
Kant writes \u201c\u2026mathematical knowledge is the knowledge gained by reason from the construction of concepts. To construct a concept means to exhibit a priori the intuition which corresponds to the concept. \u2026. Thus I construct a triangle by representing the object which corresponds to this concept either by imagination alone, in pure intuition, or in accordance therewith also on paper, in empirical intuition \u2014 in both cases completely a priori, without having borrowed the pattern from any experience\u201d [4, p. 577].<\/p>\n
For Kant, the construction of mathematical objects is defined by the following features:<\/p>\n
- \n
- To construct a mathematical concept means to show an object that is appropriate to this concept.<\/li>\n
- The construction of a mathematical concept lies outside of experience and, consequently, is a priori.<\/li>\n<\/ul>\n
Thereby, according to Kant, the construction of a concept is identified with the definition of a mathematical object, and from here, the existence of mathematical objects is established by the definitions and, consequently, by construction.<\/p>\n
Having in mind that Kant suggested this idea of construction of mathematical objects, I try to show that<\/p>\n
- \n
- The philosophical ideas of Kant concerning the construction of mathematical objects encouraged the forming and the development of the mathematical ideas of set (Theory of Cantor) and type (Type Theory).<\/li>\n
- Considering the set as entity, theory of Cantor is close to the idea of construction of a mathematical object in accordance with the concept of the object. The notion of set in modern set theory is more formal than Cantor\u2019s notion, consequently, may be seen as opposite to Kant\u2019s ideas.<\/li>\n
- The modern notion of type depends on the principles of construction of the elements of this type. The analysis of the differences between the modern notion of type and Church\u2019s notion of type shows that the modern notion of type is closer to Kant\u2019s idea about the constructive character of the formation of mathematical objects.<\/li>\n<\/ol>\n
1. Cantor and his Theory of Sets<\/strong><\/p>\n
The concept of set became a basic category of mathematics due to the set theory of Cantor. Cantor supposes that the concept of set lies at the basis of mathematics. Cantor tried to give such definition of set that would not lead to the contradictions. Although the first contradictory notion in set theory was discovered around 1900 by Russell and Zermelo, that is \u00abthe set of all sets that are not members of themselves\u00bb, already in 1899 Cantor had thought about a possibility to obtain a paradox in his set theory.<\/p>\n
Probably to avoid this possibility of contradiction, when Cantor defines the concept of set he distinguishes two kinds of set: consistent and inconsistent multiplicities. But Cantor was not the first who considered this idea. In 1890 Schr\u00f6der already introduced the distinction between consistent and inconsistent multiplicities. Schr\u00f6der defines a consistent multiplicity as a multiplicity whose elements are compatible with each other, and inconsistent when the elements are not compatible. The following fact is very interesting: Schr\u00f6der introduced this distinction independently of the paradoxes.<\/p>\n
Cantor makes a distinction between the notion of multiplicity and the notion of set. For Cantor not every multiplicity can be considered as a set. A set is a multiplicity that can be considered as a unity.<\/p>\n
Cantor writes about multiplicities that lead to contradiction. \u201cFor a multiplicity can be such that the assumption that all its elements \u201care together\u201d leads to a contradiction, so that it is impossible to conceive the multiplicity as a unity, as \u201cone finished thing\u201d [3, p. 114].<\/p>\n
In difference from this notion of multiplicity, Cantor defines set as \u201c…the totality of the elements of a multiplicity can be thought of without contradiction as \u201cbeing together\u201d, so that they can be gathered together into \u201cone thing\u201d, I call it a consistent multiplicity or a \u201cset\u201d [3, p. 114].<\/p>\n
Thereby for Cantor every mathematical object that unites the distinct objects (elements) into certain totality is a set. One may point out the following features of Cantor\u2019s set theory:<\/p>\n
- \n
- Mathematical objects (entities) that possess a definite property constitute a set. A set is determined and defined by the property. Mathematical objects are its elements.<\/li>\n
- Since a set is a mathematical entity, it may be considered as an element of another set.<\/li>\n
- If two sets contain the same elements, they are identical, consequently, a set is determined by its elements.<\/li>\n<\/ol>\n
Cantor\u2019s idea of set as a totality of distinct elements leads to the existence of many different sets. In difference of Cantor, Frege considered a universal domain of all objects. Frege\u2019s notion of concept as a thought object is close to Dedekind\u2019s notion of a system.<\/p>\n
Dedekind defines the notion of a number sequence as a system of individuals, where individuals (elements) are thought objects.<\/p>\n
He writes: \u201cThe number sequence N is a system of individuals, or elements, called numbers\u201d [3, p. 100].<\/p>\n
Thereby, Frege\u2019s notion of concept which is logical may be compared with the idea of system in Dedekind\u2019s number theory, whereas Cantor\u2019s notion of set that is distinct from Frege\u2019s concept and Dedekind\u2019s system leads us to the notion of type in Type Theory.<\/p>\n
2. Hilbert\u2019s Criticism of the Idea of Set and his Axiomatic Method<\/strong><\/p>\n
In the famous work \u201cFoundations of logic and arithmetic\u201d Hilbert (1904) considered different theories concerning the notions of number and set. He criticized the conceptions of Frege, Dedekind and Cantor. For him, their conceptions do not give a sufficiently exact notion of set to avoid the paradoxes and contradictions arising in the foundations of mathematics. Obviously, the criterion of distinction between multiplicity and unity (set) is very fuzzy and not sufficient.<\/p>\n
Hilbert pointed out that the Frege\u2019s concept does not impose the definite restrictions to the notion of \u201cevery object\u201d and thus it may lead to the set-theoretic paradoxes that can be derived from the idea of the set of all sets.<\/p>\n
Hilbert asserts that Cantor\u2019s notion of set is insufficient. He says that Cantor\u2019s criterion for the distinction is imprecise, because it can consider a multiplicity as a set without contradiction, as one object. For Cantor a multiplicity is a set whenever it is an element of another multiplicity.<\/p>\n
Hilbert writes: \u201c\u2026he does not provide a precise criterion for this distinction, I must characterize his conception on this point as one that still leaves latitude for subjective judgment and therefore affords no objective certainty\u201d [3, p. 131].<\/p>\n
Hilbert tried to find objective basis for this distinction. To this purpose Hilbert suggests to consider all mathematical objects as thought-objects and to distribute primitive objects or their combinations into two classes, that is, the class of entities and the class of non-entities. The axioms play the role of prescriptions to distinguish the entities and non-entities.<\/p>\n
Thus Hilbert proposes to consider the set as \u201cA set is generally defined as a thought-object m, and the combinations mx are called the elements of the set m, so that \u2014 contrary to the usual conception \u2014 the notion of element of a set appears only as a subsequent product of the notion of set itself\u201d [3, p. 135\u2014136].<\/p>\n
In distinction of the notion of Frege\u2019s concept and Cantor\u2019s set, Hilbert wants to substantiate this notion objectively, that is, on the one hand to restrict the notion of set and element of a set (element \u2014 subsequent object of set), and on the other hand, to consider the axioms as non-subjective but rather objective base for the notions of set and element.<\/p>\n
The another attempt to formalize the notion of set by axioms was undertaken in axiomatic set theory of Zermelo and Fraenkel.<\/p>\n
3. The Concept of set in Axiomatic Set Theory of Zermelo and Fraenkel<\/strong><\/p>\n
The result of the work of Zermelo in 1908 and Fraenkel in 1922 was axiomatic set theory. Zermelo\u2019s system was free from known paradoxes (Burali-Forti, Russell paradoxes). For example the set of all sets that do not contain themselves as elements does not exist in the system.<\/p>\n
Zermelo-Fraenkel Axiomatic Set Theory is based on the principles<\/p>\n
- \n
- the primitive notion of set<\/li>\n
- the suggestion that all mathematical objects are sets<\/li>\n
- the function of axioms is to delimit how sets are formed.<\/li>\n<\/ul>\n
Zermelo-Fraenkel Axiomatic Set Theory cannot be axiomatized by a finite set of axioms. A set is defined in this system as \u201c\u2026we finally decide to use the term \u201cset\u201d from now on not just for a member of the counterdomain of
![\"\in\"](\"https:\/\/kant-online.ru\/en\/wp-content\/ql-cache\/quicklatex.com-478c7dbb76fc8e5b0b52edad79847b31_l3.png\" "\\"Rendered")
, but rather for a member of its field, i.e., for any object belonging to the universe of discourse\u201d [2, p. 121].<\/p>\nZermelo-Fraenkel Axiomatic Set Theory refused to use the concept of Cantor\u2019s set. Instead it uses the axiomatic method by which the concept of set is postulated but this concept itself is left unexplained. These sets are for the most part arbitrary and do not have any specific properties for the definition of their elements. Therefore the sets are defined as objects satisfying the axioms. One may find out about sets no more than that is established in the axioms. The axioms formulate the concept of set in such a way that all theorems of Cantor\u2019s set theory may be derived from them without antinomies. Avoiding the concept of Cantor\u2019s set Zermelo-Fraenkel Axiomatic Set Theory wants to specify the role of axioms in the definition of set. The notion of set in Cantor\u2019s Set Theory has \u201csubstantial\u201d character. Thus Cantor\u2019s notion of set is distinguished from the notion of set of modern Set Theory, which has only \u201cformal\u201d character.<\/p>\n
4. The Distinction between Set and Class\u00a0in the Axiomatic Set Theory of von Neumann-Bernays-G\u00f6del<\/strong><\/p>\n
The distinction between consistent and inconsistent multiplicities of Cantor prefigures the distinction between sets and classes, introduced by von Neumann in 1925. Prior to von Neumann, K\u00f6nig in 1905 distinguished two kinds of collections (set and class) in order to avoid the paradoxes. K\u00f6nig\u2019s notion of set as a totality is close to Cantor\u2019s notion.<\/p>\n
Concerning set, K\u00f6nig writes: \u201cThrough the stipulation that a1, a2\u2026.are to be replaced by definite positive integers, it becomes a \u201cdefinite\u201d sequence, an element of the continuum, which cannot become an object of our thought without being conceptually distinct from any other element\u201d [3, p. 148].<\/p>\n
In the distinction of the continuum, the second number class Z (
![\"\aleph\"](\"https:\/\/kant-online.ru\/en\/wp-content\/ql-cache\/quicklatex.com-e8d82a9dca06c135c2fef1e8cab9095c_l3.png\" "\\"Rendered")
0) is considered by K\u00f6nig as a class or \u201cas a set in the process of becoming\u201d. For K\u00f6nig the notion of a class is more of a collective notion. The properties that determinate the elements of a class are abstractions \u201cat best a means of distinguishing between objects belonging and objects not belonging to the class\u201d [3, p. 148]. Also K\u00f6nig notes that they are not rules \u201caccording to which every element of Z(0) can be formed\u201d [3, p. 148].<\/p>\nThe distinction between set and class plays important role for set theory since it leads to the resolution of the paradoxes, such as \u201cthe set of all sets\u201d. Von Neumann introduced his axiomatic set theory in 1925. This axiomatic set theory was modified by Paul Bernays in 1937, and finally, Kurt G\u00f6del simplified it in 1940. The basic principle and fundamental innovation of this system is the introduction of two kinds of collections: sets and classes.<\/p>\n
Fraenkel A. A., Bar-Hillel Y. write \u201c..we have seen that the axiom systems of von Neumann, Bernays, and G\u00f6del are superior to the system Z in many respects, an important feature being that the concept of set (class) is explicitly conceived as comprehensive as possible in view of the antinomies\u201d [2, p. 121\u2014122].<\/p>\n
A set is a class, but there are classes (ultimate classes) that are not sets: an ultimate class is not an element of any other class. The notion of class allows us to use the notion of the class of all sets, because it can be very large. However, there are some formal limitations in using the notion of the class of all classes or the set of all sets. The membership relation a \u0454 s is only defined if a is a set and s is a set or a class. There is a certain parallelism of the concepts of set and class in the theory of von Neumann-Bernays-G\u00f6del and the distinction between consistent and inconsistent multiplicities in Cantor\u2019s set theory. On the basis of the principle of abstraction, classes may be constructed from any statement of this theory with the membership relation. Sets and classes are characterized by axioms. But other notions such as subclasses, equivalence, are introduced by definitions.<\/p>\n
The axiomatic set theory of von Neumann-Bernays-G\u00f6del and the set theory of Zermelo-Fraenkel are equivalent set theories, since any theorem about sets which can be proved in one theory can be proved in the other.<\/p>\n
In contrast to Zermelo-Fraenkel Axiomatic Set Theory, von Neumann\u2014Bernays\u2014G\u00f6del Set Theory can be axiomatized by a finite set of axioms. Von Neumann points out, that classes can be regarded as Zermelo\u2019s \u201cdefinite conditions\u201d. The definite conditions may be replaced by classes, if set is distinguished from class. The existence of classes is characterized by axioms, consequently, there is a finite number of axioms. No axiom schema is required. Russell\u2019s and Burali-Forti\u2019s paradoxes cannot be reproduced in von Neumann’s system, because a universal class and a class of all ordinals are both ultimate.<\/p>\n
The distinction between class and set plays an important role not only for avoiding paradoxes in set theory, but also for other mathematical theories, for example, category theory. So if we relate large categories to ultimate classes and small categories to sets, then we can get the concept of large category of all small categories avoiding the paradoxes.<\/p>\n
5. The Idea of Type<\/strong><\/p>\n
The concept of type in mathematics was introduced by Russell to avoid the paradox which was discovered in Frege\u2019s set theory. The notion of Type in the canonical Type Theory of Russell and Church has roots in the Aristotle\u2019s principle of limitation of subject domain. Aristotle rejected the existence of the universal domain of objects and, thereby, distinguishes the existence of domain of individual objects and domain of classes of objects. This distinction is based on the Aristotle\u2019s idea of two substances. Concerning the primary substance, Aristotle writes: \u00abEvery substance seems to signify a certain \u201cthis\u201d. As regards the primary substances, it is indisputably true that each of them signifies a certain \u201cthis\u201d; for the thing revealed is individual and numerically one\u201d [6, v. 1, p. 6].<\/p>\n
Secondary substance does not consist of individuals, but is independent domain that contains classes of individual objects. Aristotle writes: \u201cBut as regards the secondary substances, though it appears from the form of the name \u2014 when one speaks of man or animal \u2014 that a secondary substance likewise signifies a certain \u201cthis\u201d, this is not really true; rather, is signifies a certain qualification \u2014 for the subject is not, as the primary substance is, one, but man and animal are said of many things\u201d [6, v. 1, p. 6].<\/p>\n
The principal idea of theory of types is to create a hierarchy of types, such that each mathematical entity will be of a certain type. Objects that belong to a given type are based on the objects of preceding types. This hierarchy of types prevents circles in the domain of objects.<\/p>\n
Russell writes: \u201c… we explained a doctrine of types of variables, proceeding upon the principle that any expression which refers to all of some type must, if it denotes anything, denote something of a higher type than that to all of which it refers…..Thus any expression containing an apparent variable is of higher type than that variable\u201d [3, p. 182].<\/p>\n
Alonzo Church developed his Theory of Types to avoid the paradox that is called the Kleene-Rosser paradox. In Church’s type theory the expressions or formulas are distributed into types, and the types of expressions restrict the ways in which they can be combined. A. Church writes: \u201c The class of type symbols is described by the rules that i<\/em> and o<\/em> are each type symbols and that if
![\"\alpha\"](\"https:\/\/kant-online.ru\/en\/wp-content\/ql-cache\/quicklatex.com-8f0b6b1a01f8fcc2f95be0364c090397_l3.png\" "\\"Rendered")
and ![\"\beta\"](\"https:\/\/kant-online.ru\/en\/wp-content\/ql-cache\/quicklatex.com-b6a7605b1bcca8f1b416eaf733f34e08_l3.png\" "\\"Rendered")
are type symbols then (![\"\alpha\beta\"](\"https:\/\/kant-online.ru\/en\/wp-content\/ql-cache\/quicklatex.com-e10cd1f4410141d42019990623f09d80_l3.png\" "\\"Rendered")
) is a type symbol: it is the least class of symbols which contains the symbols i<\/em>\u00a0and o<\/em>\u00a0and is closed under the operation of forming the symbol () from the symbols \u00a0and \u201d [1, p. 57].<\/p>\nThe notion of type in the canonical Type Theory of Russell and Church is very close to the notion of set as unity in Cantor\u2019s Set Theory. Thus this notion is the generalization Cantor\u2019s notion of set. Type Theories of Russell and Church were only a reaction against the paradoxes. The question why a collection of elements may create a new entity didn\u2019t bother them much. Their approach was to consider formal restrictions on formation of new sets to avoid paradoxes. The notion of set (Type) has more restricted character in the modern Type Theory than in Cantor\u2019s Set Theory and Type Theory of Russell and Church.<\/p>\n
One principal feature of Intuitionistic type theory is certain analogy between propositions and types. A proposition corresponds to the type of its proofs. Another innovation was the introduction of inductive and coinductive types with more restrictive rules of construction than for sets in set theories mentioned above. One may observe that the role of types in Intuitionistic Type Theory is similar to the role of sets in set theory but it establishes more strict rules for constructon of types and definition of their elements. Therefore functions that are definable in Type Theory are always constructive and computable.<\/p>\n
Thereby we arrive at the following conclusions:<\/p>\n
- \n
- Cantor\u2019s consideration of a set of elements as entity that is formed by the set-forming operation, corresponds to Kant\u2019s idea of construction of a mathematical object in accordance with the concept of the object. In contradistinction to Cantor\u2019s notion of set, the notion of set in modern set theory is not substantive but more formal and meaningless notion. Consequently, modern notion of set may be seen as opposite to Kant\u2019s idea of the existence of mathematical object and Cantor\u2019s notion of set as entity, whereas the notion of type (especially, modern notion of type) that is close to Cantor\u2019s notion of set moves us nearer to Kant\u2019s idea about the constructive character of the formation of mathematical objects.<\/li>\n
- Cantor\u2019s distinction between the consistent and inconsistent multiplicities became the causes of the distinction between sets and classes in the Axiomatic set theory of von Neumann-Bernays-G\u00f6del, sets and types in Intuitionistic Type Theory.<\/li>\n
- Frege\u2019s concept may be compared with the idea of system in Dedekind\u2019s number theory, whereas Cantor\u2019s notion of set, which is distinct from Frege\u2019s concept and Dedekind\u2019s system, leads us to the notion of type (set) in Type Theory.<\/li>\n
- In distinction from Cantor\u2019s notion of set and Frege\u2019s concept, Hilbert wanted to formalize this notion objectively, that is, on the one hand to restrict the notion of set and element of a set (element \u2014subsequent element of set), and on the other hand, to consider the axioms as a non-subjective but rather objective base for the notions of set and element.<\/li>\n
- The Hilbert\u2019s conception of set and axiomatic set theory of Zermelo \u2014Fraenkel formalise the notion of set by axioms. Therefore the notion of set \u00abas such\u00bb becomes formal and is defined as an object from axioms. The axioms formulate the concept of set in such a way that all theorems of Cantor\u2019s set theory may be derived from them without antinomies. Avoiding Cantor\u2019s concept of set, the Zermelo-Fraenkel Axiomatic Set Theory wants to specify the role of axioms in the definition of set.<\/li>\n
- K\u00f6nig distinguished two kinds of collections (set and class) in order to avoid the paradoxes. K\u00f6nig\u2019s notion of set as a totality (Inbegriff) corresponds to Cantor\u2019s notion of set. For K\u00f6nig the notion of class is close to the collective notion that may be compared with Cantor\u2019s notion of inconsistent multiplicity.<\/li>\n
- The distinction between class and set introduced in von Neumann-Bernays \u2014G\u00f6del axiomatic theory is in some way a reaction against the formal notion of set and return to Cantor\u2019s notion of set. The concept of set corresponds to the concept of set in Cantor\u2019s set theory. On the basis of the principle of abstraction, classes may be constructed from any statement of this theory with the membership relation. Sets and classes are characterized by axioms.<\/li>\n
- The notion of Type in Type Theory of Russell and Church determines the formation of entities built of objects in the domain. So the types play the role of definitions and classifications of objects, that is, they set and restrict different objects in the domain. In distinction from the axiomatic set theory, Type Theory continues to consider type (set) as an object that is determined by some principle of form. Cf. \u201cpropositions as types\u201d, inductive and coinductive types in Intuitionistic Type Theory.<\/li>\n<\/ol>\n
<\/p>\n
Bibliography<\/strong><\/p>\n
1.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Church A. A Formulation of the Simple Theory of Types \/\/ Journal of Symbolic Logic. 1940. \u2116 5. P. 56\u201468.<\/p>\n
2.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Fraenkel A. A., Bar-Hillel Y. Foundations of Set Theory. Amsterdam, 1958.<\/p>\n
3.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Heijenoort J. From Frege to G\u00f6del: a source book in Mathematical logic, 1879\u20141931. Amsterdam, 1967.<\/p>\n
4.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Kant\u2019s Critique of Pure Reason. Translated by N. K. Smith. New York, 1968.<\/p>\n
5.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Martin-L\u00f6f P. Analytic and synthetic judgments in Type Theory. Florence, 1992.<\/p>\n
6.\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 The complete works of Aristotle. V.1. Princeton, 1984.<\/p>\n
This article was firstly published in collected articles \u00abKlassische Vernunft und Herausforderungen der modernen Zivilisation\u00bb (2010):<\/strong> Antonova, Olga. Philosophy of Kant and Type theory\/\/ 10. Internationale Kant Konferenz. Klassische Vernunft und die Herausforderungen der modernen Zivilisation: Materialien der internationalen Konferenz: in 2 Bd. Hrsg. W.N. Brjuschinkin. \u2013 Kaliningrad: Verlag der Immanuel Kant Universit\u00e4t Kaliningrad, 2010. Band. 1, S.. 269 – 279.<\/p>\n","protected":false},"excerpt":{"rendered":"
The purpose of this article is to trace the genesis of the principal categories of modern mathematics such as set, class and type. These categories are very important for the development of mathematics not only because they lie at the basis of the principal mathematical theories (Cantor\u2019s set theory, axiomatic set theory, type theory), but […]<\/p>\n","protected":false},"author":1,"featured_media":575,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[2],"tags":[],"_links":{"self":[{"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/posts\/570"}],"collection":[{"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/comments?post=570"}],"version-history":[{"count":4,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/posts\/570\/revisions"}],"predecessor-version":[{"id":574,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/posts\/570\/revisions\/574"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/media\/575"}],"wp:attachment":[{"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/media?parent=570"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/categories?post=570"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/kant-online.ru\/en\/wp-json\/wp\/v2\/tags?post=570"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}