Our foundation champions the exploration of formalisms. We seek out paradoxes, fallacies, and puzzles from across formal languages, curating and funding their decidable statements. Our focus is on those that merge distinct aspects of formal reasoning or introduce entirely new, transformative formalisms.
