Үүнийг мессежээр илгээх: Completeness theory for propositional logics