Множеством, перечислимым относительно всюду определенной вычислимой функции f является множество:

Правильный ответ:

• # Утверждение: "Средствами формальной системы нельзя доказать ее непротиворечивость" - это:
• # Универсальное перечислимое множество из N × N:
• # Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
• # Если , то:
• # Классы и :