math

265 readers

1 users here now

Interesting news and discussion centered around Mathematics

founded 1 year ago

MODERATORS

[email protected]

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

submitted 1 year ago by [email protected] to c/[email protected]

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