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