My argument is not “look how many attempts have failed” but “look, of all of these many attempts, every single one has turned into a kafkaesque nightmare”. At this point it is not even clear that “successful communism” is something that can exist in our world
On the other hand, while many (depending on your perspective you might even say most) capitalist systems fail, there are absolutely some that work ok. Of course nothing is perfect in the real world. But the life of say a danish person is not only materially well off, but also free and full of dignity, which was true of none of the experiments in communism
Maybe a bit advanced for this crowd, but there is a correspondence between logic and type theory (like in programming languages). Roughly we have
Proposition ≈ Type
Proof of a prop ≈ member of a Type
Implication ≈ function type
and ≈ Cartesian product
or ≈ disjoint union
true ≈ type with one element
false ≈ empty type
Once you understand it, its actually really simple and “obvious”, but the fact that this exists is really really surprising imo.
https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
You can also add topology into the mix:
https://en.m.wikipedia.org/wiki/Homotopy_type_theory