この資料をSMS送信: Completeness theory for propositional logics