Introducción a la metamatemática - Klenne, Stephen Cole ((Estructura y función), 1974)