https://mathoverflow.net/q/1924/
«What are some reasonable-sounding statements that are independent of ZFC?»
(и действительно, много довольно неожиданных примеров)
Post #3871
2.61K
Forwarded from Непрерывное математическое образование
MathOverflow What are some reasonable-sounding statements that are independent of ZFC? Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC." For example, suppose $A$ is an abelian group suc...