Enumerability * Decidability Computability door Hans Hermes