Formal Systems and Identity