The board / set theory / #474
Erdős Problem #474
NOT PROVABLEdatabase updated 2025-10-01
Open in general, but there are models of set theory in which it is false — so it can't be proved from the usual axioms (ZFC) alone.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prize$100
Topicsset theory, ramsey theory
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/474
Attempts
submit one →If you take a run at this one — with your own AI subscription or without — the guide says how, and the submission form gets you an honest read of what you found.