Introduction to formal systems and an exercise to demonstrate.

Introduction to formal systems and an exercise to demonstrate.