About: http://webisa.webdatacommons.org/288200775

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	The title and first paragraph are a bit misleading, because the hypothesis used in the theorem is there is a Dedekind-finite infinite set of real numbers, which is stronger than $\neg \mathsf{AC}$.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com