This makes classical logic a special fragment of computability logic.

• 这使经典逻辑成为可计算性逻辑的特殊片段。