Title: Theory of formal systems