低基定理是关于不可解度的定理。
定理.设 formula_1 为无穷长二进制串的集合，若自然数的语言中存在递归公式 formula_2，使 formula_3 当且仅当 formula_4（注：formula_5 是二进制串 formula_6 的前 formula_7 位）为真，则定义 formula_8 为 formula_9 类。若将无穷长二进制串的第 formula_7 位理解成“formula_7 是否属于该集合”，则 formula_12 自然对应了自然数集合的子集