Two students are talking about 2 different formal systems

This forum is restricted to members of the associated course(s).