One of my favorites has to do with products of spaces of countable cellularity:
"If X and Y are topological spaces with countable cellularity then their product X x Y has countable cellularity"
Is independent of ZFC. (The failing example being a Souslin line)