演绛系统完备性

[计] completeness of deduction system

yǎn jiàng xì tǒng wán bèi xìng ㄧㄢˇ ㄐㄧㄤˋ ㄒㄧˋ ㄊㄨㄥˇ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ