Στα μαθηματικά, στη μελέτη των διαφορικών εξισώσεων, το θεώρημα Πικάρ-Λίντελεφ, θεώρημα ύπαρξης του Πικάρ ή θεώρημα Κωσύ-Λίπσιτς είναι ένα σημαντικό θεώρημα για την ύπαρξη και μοναδικότητα των λύσεων για τις εξισώσεις πρώτης τάξης με αρχικές συνθήκες. Wikipedia