Our foundation stewards and nurtures the study of formalisms. We source formal paradoxes, fallacies, and puzzles from across formal languages. We endorse, curate, and fund their formal statements, as long as their decidability fuses together entirely different aspects of formal reasoning or rigorously introduces entirely new formalisms.
