Day 02 of reading GEB

Add excerpts on formal systems from chapters I and II.