数学 公理. 松 王 機械. 考慮 中. 盲 意味.