Theory of formal systems | lit.salon