数学逻辑-斐波拉契数列应用