“In particular the rules of logic tell us how to create, from the opening arrangement (the list of axioms), new arrangements (called “theorems”).”