zh:mathematical_logic