Arithmetical hierarchy — LessWrong