Open Internet by MindsNet

Gödel's Incompleteness Visualizer

See the limits of formal systems in action

Mathematics & logic, Mathematics, Mathematical Logic