Source: https://www.alloschool.com/assets/documents/course-427/logique-mathematique-resume-de-cours-1.pdf