أرسل هذا في رسالة قصيرة: Completeness theory for propositional logics

__    __     ___       _____    ______    ______  
\ \\ / //   / _ \\    / ___//  /_   _//  /_   _// 
 \ \/ //   / //\ \\   \___ \\   -| ||-     | ||   
  \  //   |  ___  ||  /    //   _| ||_    _| ||   
   \//    |_||  |_|| /____//   /_____//  /__//    
    `     `-`   `-` `-----`    `-----`   `--`