/subjects/Completeness_theorem
Type: /type/subject
name: Completeness theorem