Ontology:Q800 - Revision history

Reversedragon: link: set theories

2025-06-05T05:00:12Z

link: set theories

← Older revision		Revision as of 05:00, 5 June 2025
Line 10:		Line 10:
	{{HueClaim\|P=item type\| {{Template:Z1}} }}		{{HueClaim\|P=item type\| {{Template:Z1}} }}
	{{HueRoster\|P=label (en)\| {{Ontology:Q800}} }}		{{HueRoster\|P=label (en)\| {{Ontology:Q800}} }}
	{{HueClaim\|P=alias (en)\| analysis of how kinds of numbers compare with each other }}		{{HueClaim\|P=alias (en)\| analysis of how kinds of numbers compare with each other \| analysis of collections of unique objects }}
	{{HueClaim\|P=external identifier\| [https://en.wikipedia.org/wiki/Set_theory Set theory] }}		{{HueClaim\|P=external identifier\| [https://en.wikipedia.org/wiki/Set_theory Set theory] }}
	{{HueRoster\|P={{Ontology:P3}}\| {{Ontology:Q59}} }} <!-- en: sub-case of mathematics -->		{{HueRoster\|P={{Ontology:P3}}\| {{Ontology:Q59}} }} <!-- en: sub-case of mathematics -->
Line 19:		Line 19:

	<dl class="wikitable hue data_wavebuild">		<dl class="wikitable hue data_wavebuild">
	{{WaveBuild\| [S2] axiom of choice \| ~~ZFC set theory~~ }} <!-- en: WITH ?? PRODUCES ?? -->		{{WaveBuild\| [S2] axiom of choice \| {{Ontology:Q819}} }} <!-- en: WITH ?? PRODUCES ZFC set theory -->
	{{WaveBuild\| [S0] anti-foundation axiom \| ~~non-well-formed set theory~~ }} <!-- en: WITH ?? PRODUCES ?? -->		{{WaveBuild\| [S0] anti-foundation axiom \| {{Ontology:Q820}} }} <!-- en: WITH ?? PRODUCES non-well-formed set theory -->
	</dl>		</dl>

Reversedragon: kinds of set theories

2025-06-05T04:57:12Z

kinds of set theories

← Older revision		Revision as of 04:57, 5 June 2025
Line 10:		Line 10:
	{{HueClaim\|P=item type\| {{Template:Z1}} }}		{{HueClaim\|P=item type\| {{Template:Z1}} }}
	{{HueRoster\|P=label (en)\| {{Ontology:Q800}} }}		{{HueRoster\|P=label (en)\| {{Ontology:Q800}} }}
	{{HueClaim\|P=alias (en)\| -- }}		{{HueClaim\|P=alias (en)\| analysis of how kinds of numbers compare with each other }}
	{{HueClaim\|P=external identifier\| [https://en.wikipedia.org/wiki/Set_theory Set theory] }}		{{HueClaim\|P=external identifier\| [https://en.wikipedia.org/wiki/Set_theory Set theory] }}
	{{HueRoster\|P={{Ontology:P3}}\| {{Ontology:Q59}} }} <!-- en: sub-case of mathematics -->		{{HueRoster\|P={{Ontology:P3}}\| {{Ontology:Q59}} }} <!-- en: sub-case of mathematics -->
Line 19:		Line 19:

	<dl class="wikitable hue data_wavebuild">		<dl class="wikitable hue data_wavebuild">
	{{WaveBuild\| ?? \| ZFC set theory }} <!-- en: WITH ?? PRODUCES ?? -->		{{WaveBuild\| [S2] axiom of choice \| ZFC set theory }} <!-- en: WITH ?? PRODUCES ?? -->
	{{WaveBuild\| ?? \| non-well-formed set theory }} <!-- en: WITH ?? PRODUCES ?? -->		{{WaveBuild\| [S0] anti-foundation axiom \| non-well-formed set theory }} <!-- en: WITH ?? PRODUCES ?? -->
	</dl>		</dl>

			== Usage notes ==

			ZFC set theory is the form of set theory most commonly in use, in contrast with non-well-formed set theories. One factor in this is that set theory is most often used to characterize kinds of numbers, such as how real numbers compare with rational numbers or what numbers are prime. For this use, ZFC set theory axioms are usually sufficient. However, if somebody wishes to try to use set theory for the purpose of categorizing real-world phenomena either in terms of conceptual, metaphysical labels or basic descriptions of the movements of individual objects, well-formed set theory ceases to make as much sense. Taking the classic grade-school-teacher thought experiment of apples in a basket, if we assume every apple had a produce sticker on it giving it a number, it would be hard to say that the set of apples is a separate thing from the physical apples that compose it, and tempting to say that the set <em>definitionally</em> contains itself. If the set of apples is not the basket, and the basket can only contain what is strictly the set of apples, there is no set of three apples that does not contain three apples, and there is usually no collection of three apples which is not a set of three apples. This is to say that every time three apples are put together, a particular back-and-forth recursion occurs: three apples generate a set of three apples which contains three apples which are a set of three apples which entails that the set of three apples contains a set of three apples which is the same set as itself.

			Within this wiki, Categories and Items that represent conceptual categories are presumed to operate on non-well-formed set theory. Z and S Items (Z1 and S1) are loosely analogous to the numbered apples, while level-0 and level-2 Items are analogous to non-well-formed sets of apples that sit in the baskets. The categories that divide things are never separable from the things themselves, and there is always some particular reason that things are grouped together, even if it is purely [[redlink - Q?? series of unique events\|historical]] or [[redlink - L?? stochastic process\|stochastic]].


	[[Category:Mathematics ontology]] [[Category:Set theory ontology]]		[[Category:Mathematics ontology]] [[Category:Set theory ontology]]

Reversedragon: category

2025-06-05T02:26:17Z

Reversedragon: Wikipedia article

2025-06-05T02:23:52Z

Wikipedia article

← Older revision		Revision as of 02:23, 5 June 2025
Line 11:		Line 11:
	{{HueRoster\|P=label (en)\| {{Ontology:Q800}} }}		{{HueRoster\|P=label (en)\| {{Ontology:Q800}} }}
	{{HueClaim\|P=alias (en)\| -- }}		{{HueClaim\|P=alias (en)\| -- }}
			{{HueClaim\|P=external identifier\| [https://en.wikipedia.org/wiki/Set_theory Set theory] }}
	{{HueRoster\|P={{Ontology:P3}}\| {{Ontology:Q59}} }} <!-- en: sub-case of mathematics -->		{{HueRoster\|P={{Ontology:P3}}\| {{Ontology:Q59}} }} <!-- en: sub-case of mathematics -->
	{{HueRoster\|P=case of\| field of mathematics }}		{{HueRoster\|P=case of\| field of mathematics }}

Reversedragon: copy fake Item from Ontology:Q55

2025-06-05T02:21:12Z

copy fake Item from Ontology:Q55

New page

{{HueCSS}}<ol class="hue clean compound"><li>
<onlyinclude><dfn class="field_geo" data-dimension="Z" data-qid="800" data-field="mathematics" data-object="" data-note="" data-lexeme="">[[Ontology:Q800|set theory]]<ins class="field"> (top-level category)</ins>{{WaveScore|sum=1|quilt=1|ply=1}}</dfn></onlyinclude>
</li></ol> __NOTOC__

== Characteristics in draft ==

=== Properties ===

<dl class="wikitable hue">
{{HueClaim|P=item type| {{Template:Z1}} }}
{{HueRoster|P=label (en)| {{Ontology:Q800}} }}
{{HueClaim|P=alias (en)| -- }}
{{HueRoster|P={{Ontology:P3}}| {{Ontology:Q59}} }} 
{{HueRoster|P=case of| field of mathematics }}
</dl>

=== Wavebuilder combinations ===

<dl class="wikitable hue data_wavebuild">
{{WaveBuild| ?? | ZFC set theory }} 
{{WaveBuild| ?? | non-well-formed set theory }} 
</dl>

[[Category:Mathematics ontology]]

← Older revision		Revision as of 02:26, 5 June 2025
Line 24:		Line 24:


	[[Category:Mathematics ontology]]		[[Category:Mathematics ontology]] [[Category:Set theory ontology]]