本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261027-r03-complete-metric-space-foundations · 2026-10-14 · 100 題
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,3,4,5],[3,0,5,6],[4,5,0,7],[5,6,7,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 3, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 3, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,4,7,9],[4,0,7,9],[7,7,0,12],[9,9,12,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 4, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 4, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,5,10,13],[5,0,9,12],[10,9,0,17],[13,12,17,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,6,13,17],[6,0,11,15],[13,11,0,22],[17,15,22,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,7,9,10],[7,0,6,7],[9,6,0,9],[10,7,9,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,4,7,9],[4,0,9,11],[7,9,0,14],[9,11,14,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 4, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 4, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,5,10,13],[5,0,11,14],[10,11,0,19],[13,14,19,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,6,6,17],[6,0,6,17],[6,6,0,17],[17,17,17,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,7,9,10],[7,0,8,9],[9,8,0,11],[10,9,11,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,8,12,14],[8,0,10,12],[12,10,0,16],[14,12,16,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,5,10,13],[5,0,13,16],[10,13,0,21],[13,16,21,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,6,6,6],[6,0,8,8],[6,8,0,8],[6,8,8,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,7,9,10],[7,0,10,11],[9,10,0,13],[10,11,13,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,8,12,14],[8,0,12,14],[12,12,0,18],[14,14,18,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,9,8,18],[9,0,7,17],[8,7,0,16],[18,17,16,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,6,6,6],[6,0,10,10],[6,10,0,10],[6,10,10,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 6, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,7,9,10],[7,0,12,13],[9,12,0,15],[10,13,15,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,8,12,14],[8,0,14,16],[12,14,0,20],[14,16,20,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,9,8,18],[9,0,9,19],[8,9,0,18],[18,19,18,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 8, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,10,11,11],[10,0,11,11],[11,11,0,12],[11,11,12,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 10, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 10, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,7,9,10],[7,0,14,15],[9,14,0,17],[10,15,17,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,8,5,14],[8,0,9,18],[5,9,0,15],[14,18,15,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 5, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,9,8,7],[9,0,11,10],[8,11,0,9],[7,10,9,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 7, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,10,11,11],[10,0,13,13],[11,13,0,14],[11,13,14,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 10, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 10, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-finite-certificate；資料={"n":4,"metric":[[0,11,14,15],[11,0,15,16],[14,15,0,19],[15,16,19,0]]}。請依 [n,min_positive_distance,universal_witness,complete] 欄序回答。
(4, 11, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)
Wave4根節點核對=(4, 11, epsilon=min_positive_distance forces every Cauchy tail to be constant, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-finite-certificate · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,3,4,5],[3,0,5,6],[4,5,0,7],[5,6,7,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,4,7,9],[4,0,7,9],[7,7,0,12],[9,9,12,0]],"prefix":[1,2,3],"tail":0}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([1, 2, 3], 0, 3, 0, 是, 是)
Wave4根節點核對=([1, 2, 3], 0, 3, 0, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,5,10,13],[5,0,9,12],[10,9,0,17],[13,12,17,0]],"prefix":[2,3,0],"tail":1}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([2, 3, 0], 1, 3, 1, 是, 是)
Wave4根節點核對=([2, 3, 0], 1, 3, 1, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,6,13,17],[6,0,11,15],[13,11,0,22],[17,15,22,0]],"prefix":[3,0,1],"tail":2}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([3, 0, 1], 2, 3, 2, 是, 是)
Wave4根節點核對=([3, 0, 1], 2, 3, 2, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,7,9,10],[7,0,6,7],[9,6,0,9],[10,7,9,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,4,7,9],[4,0,9,11],[7,9,0,14],[9,11,14,0]],"prefix":[1,2,3],"tail":0}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([1, 2, 3], 0, 3, 0, 是, 是)
Wave4根節點核對=([1, 2, 3], 0, 3, 0, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,5,10,13],[5,0,11,14],[10,11,0,19],[13,14,19,0]],"prefix":[2,3,0],"tail":1}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([2, 3, 0], 1, 3, 1, 是, 是)
Wave4根節點核對=([2, 3, 0], 1, 3, 1, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,6,6,17],[6,0,6,17],[6,6,0,17],[17,17,17,0]],"prefix":[3,0,1],"tail":2}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([3, 0, 1], 2, 3, 2, 是, 是)
Wave4根節點核對=([3, 0, 1], 2, 3, 2, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,7,9,10],[7,0,8,9],[9,8,0,11],[10,9,11,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,8,12,14],[8,0,10,12],[12,10,0,16],[14,12,16,0]],"prefix":[1,2,3],"tail":0}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([1, 2, 3], 0, 3, 0, 是, 是)
Wave4根節點核對=([1, 2, 3], 0, 3, 0, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,5,10,13],[5,0,13,16],[10,13,0,21],[13,16,21,0]],"prefix":[2,3,0],"tail":1}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([2, 3, 0], 1, 3, 1, 是, 是)
Wave4根節點核對=([2, 3, 0], 1, 3, 1, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,6,6,6],[6,0,8,8],[6,8,0,8],[6,8,8,0]],"prefix":[3,0,1],"tail":2}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([3, 0, 1], 2, 3, 2, 是, 是)
Wave4根節點核對=([3, 0, 1], 2, 3, 2, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,7,9,10],[7,0,10,11],[9,10,0,13],[10,11,13,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,8,12,14],[8,0,12,14],[12,12,0,18],[14,14,18,0]],"prefix":[1,2,3],"tail":0}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([1, 2, 3], 0, 3, 0, 是, 是)
Wave4根節點核對=([1, 2, 3], 0, 3, 0, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,9,8,18],[9,0,7,17],[8,7,0,16],[18,17,16,0]],"prefix":[2,3,0],"tail":1}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([2, 3, 0], 1, 3, 1, 是, 是)
Wave4根節點核對=([2, 3, 0], 1, 3, 1, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,6,6,6],[6,0,10,10],[6,10,0,10],[6,10,10,0]],"prefix":[3,0,1],"tail":2}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([3, 0, 1], 2, 3, 2, 是, 是)
Wave4根節點核對=([3, 0, 1], 2, 3, 2, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,7,9,10],[7,0,12,13],[9,12,0,15],[10,13,15,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,8,12,14],[8,0,14,16],[12,14,0,20],[14,16,20,0]],"prefix":[1,2,3],"tail":0}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([1, 2, 3], 0, 3, 0, 是, 是)
Wave4根節點核對=([1, 2, 3], 0, 3, 0, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,9,8,18],[9,0,9,19],[8,9,0,18],[18,19,18,0]],"prefix":[2,3,0],"tail":1}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([2, 3, 0], 1, 3, 1, 是, 是)
Wave4根節點核對=([2, 3, 0], 1, 3, 1, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,10,11,11],[10,0,11,11],[11,11,0,12],[11,11,12,0]],"prefix":[3,0,1],"tail":2}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([3, 0, 1], 2, 3, 2, 是, 是)
Wave4根節點核對=([3, 0, 1], 2, 3, 2, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,7,9,10],[7,0,14,15],[9,14,0,17],[10,15,17,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,8,5,14],[8,0,9,18],[5,9,0,15],[14,18,15,0]],"prefix":[1,2,3],"tail":0}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([1, 2, 3], 0, 3, 0, 是, 是)
Wave4根節點核對=([1, 2, 3], 0, 3, 0, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,9,8,7],[9,0,11,10],[8,11,0,9],[7,10,9,0]],"prefix":[2,3,0],"tail":1}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([2, 3, 0], 1, 3, 1, 是, 是)
Wave4根節點核對=([2, 3, 0], 1, 3, 1, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,10,11,11],[10,0,13,13],[11,13,0,14],[11,13,14,0]],"prefix":[3,0,1],"tail":2}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([3, 0, 1], 2, 3, 2, 是, 是)
Wave4根節點核對=([3, 0, 1], 2, 3, 2, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-ultimately-constant-limit；資料={"n":4,"metric":[[0,11,14,15],[11,0,15,16],[14,15,0,19],[15,16,19,0]],"prefix":[0,1,2],"tail":3}。請依 [prefix,tail,N,limit,cauchy,converges_in_space] 欄序回答。
([0, 1, 2], 3, 3, 3, 是, 是)
Wave4根節點核對=([0, 1, 2], 3, 3, 3, 是, 是)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-ultimately-constant-limit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,3,4,5],[3,0,5,6],[4,5,0,7],[5,6,7,0]],"left":0,"right":1,"N":1}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 1, 2, 3, 3, 是, 否)
Wave4根節點核對=(0, 1, 1, 2, 3, 3, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,4,7,9],[4,0,7,9],[7,7,0,12],[9,9,12,0]],"left":1,"right":2,"N":3}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(1, 2, 3, 4, 7, 7, 是, 否)
Wave4根節點核對=(1, 2, 3, 4, 7, 7, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,5,10,13],[5,0,9,12],[10,9,0,17],[13,12,17,0]],"left":2,"right":3,"N":5}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(2, 3, 5, 6, 17, 17, 是, 否)
Wave4根節點核對=(2, 3, 5, 6, 17, 17, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,6,13,17],[6,0,11,15],[13,11,0,22],[17,15,22,0]],"left":3,"right":0,"N":7}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(3, 0, 7, 8, 17, 17, 是, 否)
Wave4根節點核對=(3, 0, 7, 8, 17, 17, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,7,9,10],[7,0,6,7],[9,6,0,9],[10,7,9,0]],"left":0,"right":1,"N":9}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 9, 10, 7, 7, 是, 否)
Wave4根節點核對=(0, 1, 9, 10, 7, 7, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,4,7,9],[4,0,9,11],[7,9,0,14],[9,11,14,0]],"left":1,"right":2,"N":11}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(1, 2, 11, 12, 9, 9, 是, 否)
Wave4根節點核對=(1, 2, 11, 12, 9, 9, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,5,10,13],[5,0,11,14],[10,11,0,19],[13,14,19,0]],"left":2,"right":3,"N":13}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(2, 3, 13, 14, 19, 19, 是, 否)
Wave4根節點核對=(2, 3, 13, 14, 19, 19, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,6,6,17],[6,0,6,17],[6,6,0,17],[17,17,17,0]],"left":3,"right":0,"N":15}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(3, 0, 15, 16, 17, 17, 是, 否)
Wave4根節點核對=(3, 0, 15, 16, 17, 17, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,7,9,10],[7,0,8,9],[9,8,0,11],[10,9,11,0]],"left":0,"right":1,"N":17}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 17, 18, 7, 7, 是, 否)
Wave4根節點核對=(0, 1, 17, 18, 7, 7, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,8,12,14],[8,0,10,12],[12,10,0,16],[14,12,16,0]],"left":1,"right":2,"N":19}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(1, 2, 19, 20, 10, 10, 是, 否)
Wave4根節點核對=(1, 2, 19, 20, 10, 10, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,5,10,13],[5,0,13,16],[10,13,0,21],[13,16,21,0]],"left":2,"right":3,"N":21}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(2, 3, 21, 22, 21, 21, 是, 否)
Wave4根節點核對=(2, 3, 21, 22, 21, 21, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,6,6,6],[6,0,8,8],[6,8,0,8],[6,8,8,0]],"left":3,"right":0,"N":23}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(3, 0, 23, 24, 6, 6, 是, 否)
Wave4根節點核對=(3, 0, 23, 24, 6, 6, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,7,9,10],[7,0,10,11],[9,10,0,13],[10,11,13,0]],"left":0,"right":1,"N":25}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 25, 26, 7, 7, 是, 否)
Wave4根節點核對=(0, 1, 25, 26, 7, 7, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,8,12,14],[8,0,12,14],[12,12,0,18],[14,14,18,0]],"left":1,"right":2,"N":27}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(1, 2, 27, 28, 12, 12, 是, 否)
Wave4根節點核對=(1, 2, 27, 28, 12, 12, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,9,8,18],[9,0,7,17],[8,7,0,16],[18,17,16,0]],"left":2,"right":3,"N":29}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(2, 3, 29, 30, 16, 16, 是, 否)
Wave4根節點核對=(2, 3, 29, 30, 16, 16, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,6,6,6],[6,0,10,10],[6,10,0,10],[6,10,10,0]],"left":3,"right":0,"N":31}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(3, 0, 31, 32, 6, 6, 是, 否)
Wave4根節點核對=(3, 0, 31, 32, 6, 6, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,7,9,10],[7,0,12,13],[9,12,0,15],[10,13,15,0]],"left":0,"right":1,"N":33}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 33, 34, 7, 7, 是, 否)
Wave4根節點核對=(0, 1, 33, 34, 7, 7, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,8,12,14],[8,0,14,16],[12,14,0,20],[14,16,20,0]],"left":1,"right":2,"N":35}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(1, 2, 35, 36, 14, 14, 是, 否)
Wave4根節點核對=(1, 2, 35, 36, 14, 14, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,9,8,18],[9,0,9,19],[8,9,0,18],[18,19,18,0]],"left":2,"right":3,"N":37}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(2, 3, 37, 38, 18, 18, 是, 否)
Wave4根節點核對=(2, 3, 37, 38, 18, 18, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,10,11,11],[10,0,11,11],[11,11,0,12],[11,11,12,0]],"left":3,"right":0,"N":39}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(3, 0, 39, 40, 11, 11, 是, 否)
Wave4根節點核對=(3, 0, 39, 40, 11, 11, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,7,9,10],[7,0,14,15],[9,14,0,17],[10,15,17,0]],"left":0,"right":1,"N":41}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 41, 42, 7, 7, 是, 否)
Wave4根節點核對=(0, 1, 41, 42, 7, 7, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,8,5,14],[8,0,9,18],[5,9,0,15],[14,18,15,0]],"left":1,"right":2,"N":43}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(1, 2, 43, 44, 9, 9, 是, 否)
Wave4根節點核對=(1, 2, 43, 44, 9, 9, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,9,8,7],[9,0,11,10],[8,11,0,9],[7,10,9,0]],"left":2,"right":3,"N":45}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(2, 3, 45, 46, 9, 9, 是, 否)
Wave4根節點核對=(2, 3, 45, 46, 9, 9, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,10,11,11],[10,0,13,13],[11,13,0,14],[11,13,14,0]],"left":3,"right":0,"N":47}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(3, 0, 47, 48, 11, 11, 是, 否)
Wave4根節點核對=(3, 0, 47, 48, 11, 11, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-alternating-noncauchy；資料={"n":4,"metric":[[0,11,14,15],[11,0,15,16],[14,15,0,19],[15,16,19,0]],"left":0,"right":1,"N":49}。請依 [left,right,N,next_index,epsilon,distance,counterexample,cauchy] 欄序回答。
(0, 1, 49, 50, 11, 11, 是, 否)
Wave4根節點核對=(0, 1, 49, 50, 11, 11, 是, 否)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-alternating-noncauchy · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,3,4,5],[3,0,5,6],[4,5,0,7],[5,6,7,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 3, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 3, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,4,7,9],[4,0,7,9],[7,7,0,12],[9,9,12,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 4, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 4, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,5,10,13],[5,0,9,12],[10,9,0,17],[13,12,17,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 5, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 5, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,6,13,17],[6,0,11,15],[13,11,0,22],[17,15,22,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 6, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 6, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,7,9,10],[7,0,6,7],[9,6,0,9],[10,7,9,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 6, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 6, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,4,7,9],[4,0,9,11],[7,9,0,14],[9,11,14,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 4, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 4, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,5,10,13],[5,0,11,14],[10,11,0,19],[13,14,19,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 5, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 5, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,6,6,17],[6,0,6,17],[6,6,0,17],[17,17,17,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 6, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 6, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,7,9,10],[7,0,8,9],[9,8,0,11],[10,9,11,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,8,12,14],[8,0,10,12],[12,10,0,16],[14,12,16,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 8, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 8, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,5,10,13],[5,0,13,16],[10,13,0,21],[13,16,21,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 5, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 5, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,6,6,6],[6,0,8,8],[6,8,0,8],[6,8,8,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 6, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 6, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,7,9,10],[7,0,10,11],[9,10,0,13],[10,11,13,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,8,12,14],[8,0,12,14],[12,12,0,18],[14,14,18,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 8, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 8, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,9,8,18],[9,0,7,17],[8,7,0,16],[18,17,16,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 7, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 7, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,6,6,6],[6,0,10,10],[6,10,0,10],[6,10,10,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 6, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 6, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,7,9,10],[7,0,12,13],[9,12,0,15],[10,13,15,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,8,12,14],[8,0,14,16],[12,14,0,20],[14,16,20,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 8, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 8, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,9,8,18],[9,0,9,19],[8,9,0,18],[18,19,18,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 8, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 8, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,10,11,11],[10,0,11,11],[11,11,0,12],[11,11,12,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 10, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 10, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,7,9,10],[7,0,14,15],[9,14,0,17],[10,15,17,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 7, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,8,5,14],[8,0,9,18],[5,9,0,15],[14,18,15,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 5, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 5, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,9,8,7],[9,0,11,10],[8,11,0,9],[7,10,9,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 7, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 7, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,10,11,11],[10,0,13,13],[11,13,0,14],[11,13,14,0]],"evidence_mode":"finite_minimum_separation"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 10, finite_minimum_separation, 是, universal_finite_certificate)
Wave4根節點核對=(4, 10, finite_minimum_separation, 是, universal_finite_certificate)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate
完備性量化空間內每個Cauchy序列。操作=complete-evidence-mode-audit；資料={"n":4,"metric":[[0,11,14,15],[11,0,15,16],[14,15,0,19],[15,16,19,0]],"evidence_mode":"sampled_sequences"}。請依 [n,min_positive_distance,evidence_mode,sufficient,boundary] 欄序回答。
(4, 11, sampled_sequences, 否, sampled_sequences_insufficient)
Wave4根節點核對=(4, 11, sampled_sequences, 否, sampled_sequences_insufficient)；依完整明示資料重算；完整有限／精確座標切片不自動升格為任意無限定理；有限metric用最小正距離作全稱證書；抽樣序列或有限尾段不能證一般完備。
完備度量空間 · qf-mod27-complete-evidence-mode-audit · candidate