TruePath comments on And My Axiom! Insights from ‘Computability and Logic’

[TruePath]

Yah, enumerable means something different than computably enumerable.