Email Record: Metamathematics and the philosophical tradition /