What really blows my mind about countable/uncountable sets is there exists a countable model of ZFC. See Löwenheim–Skolem
---
(inb4 this tweet assumes the consistency of ZFC)
