I hate to be that guy but a friendly correction: ZF + AoC is what ZFC refers to. I'm not sure I follow your line of thinking. If it's decidable it could either

I hate to be that guy but a friendly correction: ZF + AoC is what ZFC refers to. I'm not sure I follow your line of thinking. If it's decidable it could either be p=t or p!=t, no? Ie. If the contium hypothesis can be proved in ZFC, it could be either. Afaik, Cohen proved, by using Gödel, that in fact p=t or p!=t is not provable in ZFC. Ie contium hypothesis is not provable in ZFC. As I understand, Malliaras and Shelah have proved p=t ie contium hypothesis is true by using set and model theory. As I understand they are not relying solely on ZFC to prove this since that would disprove Cohen and my understanding is they do not. Further, I understand this result to mean there can only be two infinities which can be said to be different, the cardinal of the countable rational numbers and the cardinal of the uncountable real numbers. But I don't really understand any of this shit so it is likely I've got it wrong.