در این پایان نامه به بررسی قضیهی وجود جواب برای دستگاه معادلات دیفرانسیل نیمه ضمنی می پردازیم. برای دستگاه معادلات نیمه ضمنی دو حالت کلی وجود دارد. حالت اول اینکه بتوانیم دستگاه را به صزرت یک دستگاه صریح نوشت که در این حالت وجود جواب از قضایای کلاسیک در نظریه معادلات دیفرانسیل بدست می آید، حالت دوم اینکه نتوانیم دستگاه را بصورت صریح بنویسیم که در این حالت از ابزاری به نام شمول دیفرانسیل استفاده می شود.