4.2 처치 설정(Church thesis)