металогика предикатов на китайском

сущ.
мат.
谓词元逻辑 wèicí yuán luójí