數列極限與精確尾界從0起算的實數列以任意精度、某一自然尾界及整個尾段定義極限；本輪精確處理倒數尾項模型。atlas-sequence-limit · canonical_mko數列極限與精確尾界前置節點數列趨近關係量詞與明示論域有理數