Has someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C? (lemmy.sdf.org)

submitted 11 months ago by CanadaPlus@lemmy.sdf.org to c/math@lemmy.sdf.org

0 comments fedilink hide all child comments

Paul Cohen I understand constructed such a set of axioms, which logically imply the existence of an evil set family like that. Constructive is of course preferred for extra WTF.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here

this post was submitted on 14 Jul 2023

1 points (100.0% liked)

math

253 readers

6 users here now

Interesting news and discussion centered around Mathematics

founded 1 year ago

MODERATORS

goosethe@lemmy.sdf.org