Church's thesis (constructive mathematics)
 
x
OK