数学逻辑-等比数列