Wikipedia:Reference desk/Archives/Mathematics/2018 May 29
Mathematics desk | ||
---|---|---|
< May 28 | << Apr | May | Jun >> | May 30 > |
Welcome to the Wikipedia Mathematics Reference Desk Archives |
---|
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
May 29
editIs the proposition decidable in ZF ?
editZF, including the Axiom of Regularity. HOTmag (talk) 18:56, 29 May 2018 (UTC)
- Yes, the axiom of foundation (which some people call "regularity") implies that no set is an element of itself. --Trovatore (talk) 21:20, 29 May 2018 (UTC)