展开 1949年意大利数学家卢卡创立了