Church%27s thesis (constructive mathematics)#Extended Church's thesis