First Lines: Douglas R. Hofstadter - Gödel, Escher, Bach: An Eternal Golden Braid

One of the most central notions in this book is that of a formal system.