厚仁为性，元理为心 —— 纪念中国数理逻辑先驱王世强先生（上）