Diferansiyel sistemleri için tümlenebilirlik koşulları