

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:
Das Thema wird in anderen Ländern halt ganz anders gesehen als hier (in Deutschland). Frag mal die Franzosen, was die von ihrem Atomstrom denken. Oder die Amerikaner (die auf reddit sehr dominant sind). Wenn man den deutschsprachigen Diskurs zu dem Thema gewohnt ist, sind diese Meiningen erstmal ungewohnt.
Dass die über den deutschen Strommix nicht viel wissen sollte auch nicht zu überraschend sein. Viele dieser Leute sind über Memes informiert. Die wissen von Nord-stream, dem Atomausstieg und den hohen Strompreisen. Ähnlich wie hier vor ein paar Jahren viele aus drei Schlagzeilen über Griechenland die einzig richtige Meinung ableiten konnten.