Formula q_263 (Q193): Difference between revisions

Latest revision as of 13:00, 20 April 2020

No description defined

Language	Label	Description	Also known as
English	Formula q_263	No description defined

q_263

0 references

Empty(x)\iff \not \exists y(y\in x)

0 references

Revision as of 13:00, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: arqmath formula id (P8): q_263 ← Older edit	Latest revision as of 13:00, 20 April 2020 SchuBot (talk \| contribs) SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators 4,665 edits ‎Created claim: Defining formula (P1): Empty(x) \iff \not \exists y (y \in x)
	Property / Defining formula
		$Empty(x)\iff \not \exists y(y\in x)$ `Empty(x) \iff \not \exists y (y \in x)`
	Property / Defining formula: $Empty(x)\iff \not \exists y(y\in x)$ / rank
		Normal rank