giới hạn của phương pháp hình thức