Matches in Wikidata for { <http://www.wikidata.org/entity/Q836475> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q836475 description "Axiom" @default.
- Q836475 description "axiom that a class is a proper class if and only if there is a function that maps it onto the class of all sets" @default.
- Q836475 name "Axiom omezené velikosti" @default.
- Q836475 name "Axiome de limitation de taille" @default.
- Q836475 name "Méretkorlátozási axióma" @default.
- Q836475 name "aksiomo de limigo de grando" @default.
- Q836475 name "axiom of limitation of size" @default.
- Q836475 name "Аксіома обмеження розміру" @default.
- Q836475 name "大小限制公理" @default.
- Q836475 name "大小限制公理" @default.
- Q836475 name "大小限制公理" @default.
- Q836475 name "大小限制公理" @default.
- Q836475 type Item @default.
- Q836475 label "Axiom omezené velikosti" @default.
- Q836475 label "Axiome de limitation de taille" @default.
- Q836475 label "Méretkorlátozási axióma" @default.
- Q836475 label "aksiomo de limigo de grando" @default.
- Q836475 label "axiom of limitation of size" @default.
- Q836475 label "Аксіома обмеження розміру" @default.
- Q836475 label "大小限制公理" @default.
- Q836475 label "大小限制公理" @default.
- Q836475 label "大小限制公理" @default.
- Q836475 label "大小限制公理" @default.
- Q836475 altLabel "Axiom omezené mohutnosti" @default.
- Q836475 altLabel "von Neumann's axiom" @default.
- Q836475 prefLabel "Axiom omezené velikosti" @default.
- Q836475 prefLabel "Axiome de limitation de taille" @default.
- Q836475 prefLabel "Méretkorlátozási axióma" @default.
- Q836475 prefLabel "aksiomo de limigo de grando" @default.
- Q836475 prefLabel "axiom of limitation of size" @default.
- Q836475 prefLabel "Аксіома обмеження розміру" @default.
- Q836475 prefLabel "大小限制公理" @default.
- Q836475 prefLabel "大小限制公理" @default.
- Q836475 prefLabel "大小限制公理" @default.
- Q836475 prefLabel "大小限制公理" @default.
- Q836475 P2534 Q836475-7f4bb61a-4c90-bf47-c694-a5bf782fc32f @default.
- Q836475 P31 Q836475-32692adc-4d66-6359-29d0-56ecf7588853 @default.
- Q836475 P6104 Q836475-4BDDA324-8E6F-47D3-8E9E-EACBE494ECDA @default.
- Q836475 P646 Q836475-89578F5D-9EBB-41D2-A12F-F9565A0E6F38 @default.
- Q836475 P6781 Q836475-6ad8bf71-4c64-8589-2cf8-6bf0b2f7192b @default.
- Q836475 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \forall C{\Bigl [}\lnot \exists D\left(C\in D\right)\iff \exists F{\bigl [}\forall y\exists x{\bigl (}x\in C\land (x,y)\in F{\bigr )}\land \forall x\forall y\forall z{\bigl (}[(x,y)\in F\land (x,z)\in F]\implies y=z{\bigr )}{\bigr ]}{\Bigr ]}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>C</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-OPEN"> <mo maxsize="1.623em" minsize="1.623em">[</mo> </mrow> </mrow> <mi mathvariant="normal">¬<!-- ¬ --></mi> <mi mathvariant="normal">∃<!-- ∃ --></mi> <mi>D</mi> <mrow> <mo>(</mo> <mrow> <mi>C</mi> <mo>∈<!-- ∈ --></mo> <mi>D</mi> </mrow> <mo>)</mo> </mrow> <mspace width="thickmathspace" /> <mo stretchy="false">⟺<!-- ⟺ --></mo> <mspace width="thickmathspace" /> <mi mathvariant="normal">∃<!-- ∃ --></mi> <mi>F</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-OPEN"> <mo maxsize="1.2em" minsize="1.2em">[</mo> </mrow> </mrow> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>y</mi> <mi mathvariant="normal">∃<!-- ∃ --></mi> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-OPEN"> <mo maxsize="1.2em" minsize="1.2em">(</mo> </mrow> </mrow> <mi>x</mi> <mo>∈<!-- ∈ --></mo> <mi>C</mi> <mo>∧<!-- ∧ --></mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>∈<!-- ∈ --></mo> <mi>F</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-CLOSE"> <mo maxsize="1.2em" minsize="1.2em">)</mo> </mrow> </mrow> <mo>∧<!-- ∧ --></mo> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>x</mi> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>y</mi> <mi mathvariant="normal">∀<!-- ∀ --></mi> <mi>z</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-OPEN"> <mo maxsize="1.2em" minsize="1.2em">(</mo> </mrow> </mrow> <mo stretchy="false">[</mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>∈<!-- ∈ --></mo> <mi>F</mi> <mo>∧<!-- ∧ --></mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>∈<!-- ∈ --></mo> <mi>F</mi> <mo stretchy="false">]</mo> <mspace width="thickmathspace" /> <mo stretchy="false">⟹<!-- ⟹ --></mo> <mspace width="thickmathspace" /> <mi>y</mi> <mo>=</mo> <mi>z</mi> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-CLOSE"> <mo maxsize="1.2em" minsize="1.2em">)</mo> </mrow> </mrow> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-CLOSE"> <mo maxsize="1.2em" minsize="1.2em">]</mo> </mrow> </mrow> <mrow class="MJX-TeXAtom-ORD"> <mrow class="MJX-TeXAtom-CLOSE"> <mo maxsize="1.623em" minsize="1.623em">]</mo> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall C{\Bigl [}\lnot \exists D\left(C\in D\right)\iff \exists F{\bigl [}\forall y\exists x{\bigl (}x\in C\land (x,y)\in F{\bigr )}\land \forall x\forall y\forall z{\bigl (}[(x,y)\in F\land (x,z)\in F]\implies y=z{\bigr )}{\bigr ]}{\Bigr ]}}</annotation> </semantics> </math>" @default.
- Q836475 P31 Q36191904 @default.
- Q836475 P6104 Q8487137 @default.
- Q836475 P646 "/m/0dfj6g" @default.
- Q836475 P6781 "Axiom:Axiom_of_Limitation_of_Size" @default.