# 集合基數比較基礎 · 脈衝 R05

本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。

本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。

batch-20261014-advance-20261030-r05-cardinality-comparison-foundations · 2026-10-14 · 100 題



## 1. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[0,1],"target":[100,101,102],"mapping":[100,101]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([0, 1], [100, 101, 102], [100, 101], 是, 是)

Wave4第四層核對=([0, 1], [100, 101, 102], [100, 101], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0001/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 2. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[10,11,12],"target":[110,111,112,113],"mapping":[110,111,112]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([10, 11, 12], [110, 111, 112, 113], [110, 111, 112], 是, 是)

Wave4第四層核對=([10, 11, 12], [110, 111, 112, 113], [110, 111, 112], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0002/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 3. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[20,21,22,23],"target":[120,121,122,123,124],"mapping":[120,121,122,123]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([20, 21, 22, 23], [120, 121, 122, 123, 124], [120, 121, 122, 123], 是, 是)

Wave4第四層核對=([20, 21, 22, 23], [120, 121, 122, 123, 124], [120, 121, 122, 123], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0003/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 4. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[30,31,32,33,34],"target":[130,131],"mapping":[130,131,130,131,130]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([30, 31, 32, 33, 34], [130, 131], [130, 131, 130, 131, 130], 否, no_comparison_certificate)

Wave4第四層核對=([30, 31, 32, 33, 34], [130, 131], [130, 131, 130, 131, 130], 否, no_comparison_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0004/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 5. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[40,41],"target":[140,141,142],"mapping":[140,141]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([40, 41], [140, 141, 142], [140, 141], 是, 是)

Wave4第四層核對=([40, 41], [140, 141, 142], [140, 141], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0005/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 6. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[50,51,52],"target":[150,151,152,153],"mapping":[150,151,152]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([50, 51, 52], [150, 151, 152, 153], [150, 151, 152], 是, 是)

Wave4第四層核對=([50, 51, 52], [150, 151, 152, 153], [150, 151, 152], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0006/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 7. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[60,61,62,63],"target":[160,161,162,163,164],"mapping":[160,161,162,163]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([60, 61, 62, 63], [160, 161, 162, 163, 164], [160, 161, 162, 163], 是, 是)

Wave4第四層核對=([60, 61, 62, 63], [160, 161, 162, 163, 164], [160, 161, 162, 163], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0007/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 8. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[70,71,72,73,74],"target":[170,171],"mapping":[170,171,170,171,170]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([70, 71, 72, 73, 74], [170, 171], [170, 171, 170, 171, 170], 否, no_comparison_certificate)

Wave4第四層核對=([70, 71, 72, 73, 74], [170, 171], [170, 171, 170, 171, 170], 否, no_comparison_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0008/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 9. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[80,81],"target":[180,181,182],"mapping":[180,181]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([80, 81], [180, 181, 182], [180, 181], 是, 是)

Wave4第四層核對=([80, 81], [180, 181, 182], [180, 181], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0009/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 10. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[90,91,92],"target":[190,191,192,193],"mapping":[190,191,192]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([90, 91, 92], [190, 191, 192, 193], [190, 191, 192], 是, 是)

Wave4第四層核對=([90, 91, 92], [190, 191, 192, 193], [190, 191, 192], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0010/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 11. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[100,101,102,103],"target":[200,201,202,203,204],"mapping":[200,201,202,203]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([100, 101, 102, 103], [200, 201, 202, 203, 204], [200, 201, 202, 203], 是, 是)

Wave4第四層核對=([100, 101, 102, 103], [200, 201, 202, 203, 204], [200, 201, 202, 203], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0011/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 12. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[110,111,112,113,114],"target":[210,211],"mapping":[210,211,210,211,210]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([110, 111, 112, 113, 114], [210, 211], [210, 211, 210, 211, 210], 否, no_comparison_certificate)

Wave4第四層核對=([110, 111, 112, 113, 114], [210, 211], [210, 211, 210, 211, 210], 否, no_comparison_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0012/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 13. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[120,121],"target":[220,221,222],"mapping":[220,221]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([120, 121], [220, 221, 222], [220, 221], 是, 是)

Wave4第四層核對=([120, 121], [220, 221, 222], [220, 221], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0013/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 14. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[130,131,132],"target":[230,231,232,233],"mapping":[230,231,232]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([130, 131, 132], [230, 231, 232, 233], [230, 231, 232], 是, 是)

Wave4第四層核對=([130, 131, 132], [230, 231, 232, 233], [230, 231, 232], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0014/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 15. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[140,141,142,143],"target":[240,241,242,243,244],"mapping":[240,241,242,243]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([140, 141, 142, 143], [240, 241, 242, 243, 244], [240, 241, 242, 243], 是, 是)

Wave4第四層核對=([140, 141, 142, 143], [240, 241, 242, 243, 244], [240, 241, 242, 243], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0015/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 16. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[150,151,152,153,154],"target":[250,251],"mapping":[250,251,250,251,250]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([150, 151, 152, 153, 154], [250, 251], [250, 251, 250, 251, 250], 否, no_comparison_certificate)

Wave4第四層核對=([150, 151, 152, 153, 154], [250, 251], [250, 251, 250, 251, 250], 否, no_comparison_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0016/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 17. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[160,161],"target":[260,261,262],"mapping":[260,261]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([160, 161], [260, 261, 262], [260, 261], 是, 是)

Wave4第四層核對=([160, 161], [260, 261, 262], [260, 261], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0017/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 18. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[170,171,172],"target":[270,271,272,273],"mapping":[270,271,272]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([170, 171, 172], [270, 271, 272, 273], [270, 271, 272], 是, 是)

Wave4第四層核對=([170, 171, 172], [270, 271, 272, 273], [270, 271, 272], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0018/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 19. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[180,181,182,183],"target":[280,281,282,283,284],"mapping":[280,281,282,283]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([180, 181, 182, 183], [280, 281, 282, 283, 284], [280, 281, 282, 283], 是, 是)

Wave4第四層核對=([180, 181, 182, 183], [280, 281, 282, 283, 284], [280, 281, 282, 283], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0019/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 20. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[190,191,192,193,194],"target":[290,291],"mapping":[290,291,290,291,290]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([190, 191, 192, 193, 194], [290, 291], [290, 291, 290, 291, 290], 否, no_comparison_certificate)

Wave4第四層核對=([190, 191, 192, 193, 194], [290, 291], [290, 291, 290, 291, 290], 否, no_comparison_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0020/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 21. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[200,201],"target":[300,301,302],"mapping":[300,301]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([200, 201], [300, 301, 302], [300, 301], 是, 是)

Wave4第四層核對=([200, 201], [300, 301, 302], [300, 301], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0021/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 22. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[210,211,212],"target":[310,311,312,313],"mapping":[310,311,312]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([210, 211, 212], [310, 311, 312, 313], [310, 311, 312], 是, 是)

Wave4第四層核對=([210, 211, 212], [310, 311, 312, 313], [310, 311, 312], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0022/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 23. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[220,221,222,223],"target":[320,321,322,323,324],"mapping":[320,321,322,323]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([220, 221, 222, 223], [320, 321, 322, 323, 324], [320, 321, 322, 323], 是, 是)

Wave4第四層核對=([220, 221, 222, 223], [320, 321, 322, 323, 324], [320, 321, 322, 323], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0023/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 24. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[230,231,232,233,234],"target":[330,331],"mapping":[330,331,330,331,330]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([230, 231, 232, 233, 234], [330, 331], [330, 331, 330, 331, 330], 否, no_comparison_certificate)

Wave4第四層核對=([230, 231, 232, 233, 234], [330, 331], [330, 331, 330, 331, 330], 否, no_comparison_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0024/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 25. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-injection；資料={"source":[240,241],"target":[340,341,342],"mapping":[340,341]}。請依 [source,target,mapping,injective,comparison] 欄序回答。

查看答案與解釋([240, 241], [340, 341, 342], [340, 341], 是, 是)

Wave4第四層核對=([240, 241], [340, 341, 342], [340, 341], 是, 是)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0025/)

集合基數比較 · qf-mod30-cardinality-injection · candidate





## 26. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[0,1],"target":[100,101,102],"mapping":[100,101]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([0, 1], [100, 101, 102], [100, 101], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([0, 1], [100, 101, 102], [100, 101], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0026/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 27. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[10,11,12],"target":[110,111,112,113],"mapping":[110,111,112]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([10, 11, 12], [110, 111, 112, 113], [110, 111, 112], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([10, 11, 12], [110, 111, 112, 113], [110, 111, 112], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0027/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 28. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[20,21,22,23],"target":[120,121,122,123,124],"mapping":[120,121,122,123]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([20, 21, 22, 23], [120, 121, 122, 123, 124], [120, 121, 122, 123], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([20, 21, 22, 23], [120, 121, 122, 123, 124], [120, 121, 122, 123], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0028/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 29. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[30,31,32,33,34],"target":[130,131],"mapping":[130,131,130,131,130]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([30, 31, 32, 33, 34], [130, 131], [130, 131, 130, 131, 130], 是, 是, finite_only)

Wave4第四層核對=([30, 31, 32, 33, 34], [130, 131], [130, 131, 130, 131, 130], 是, 是, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0029/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 30. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[40,41],"target":[140,141,142],"mapping":[140,141]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([40, 41], [140, 141, 142], [140, 141], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([40, 41], [140, 141, 142], [140, 141], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0030/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 31. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[50,51,52],"target":[150,151,152,153],"mapping":[150,151,152]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([50, 51, 52], [150, 151, 152, 153], [150, 151, 152], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([50, 51, 52], [150, 151, 152, 153], [150, 151, 152], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0031/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 32. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[60,61,62,63],"target":[160,161,162,163,164],"mapping":[160,161,162,163]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([60, 61, 62, 63], [160, 161, 162, 163, 164], [160, 161, 162, 163], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([60, 61, 62, 63], [160, 161, 162, 163, 164], [160, 161, 162, 163], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0032/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 33. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[70,71,72,73,74],"target":[170,171],"mapping":[170,171,170,171,170]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([70, 71, 72, 73, 74], [170, 171], [170, 171, 170, 171, 170], 是, 是, finite_only)

Wave4第四層核對=([70, 71, 72, 73, 74], [170, 171], [170, 171, 170, 171, 170], 是, 是, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0033/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 34. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[80,81],"target":[180,181,182],"mapping":[180,181]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([80, 81], [180, 181, 182], [180, 181], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([80, 81], [180, 181, 182], [180, 181], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0034/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 35. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[90,91,92],"target":[190,191,192,193],"mapping":[190,191,192]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([90, 91, 92], [190, 191, 192, 193], [190, 191, 192], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([90, 91, 92], [190, 191, 192, 193], [190, 191, 192], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0035/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 36. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[100,101,102,103],"target":[200,201,202,203,204],"mapping":[200,201,202,203]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([100, 101, 102, 103], [200, 201, 202, 203, 204], [200, 201, 202, 203], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([100, 101, 102, 103], [200, 201, 202, 203, 204], [200, 201, 202, 203], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0036/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 37. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[110,111,112,113,114],"target":[210,211],"mapping":[210,211,210,211,210]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([110, 111, 112, 113, 114], [210, 211], [210, 211, 210, 211, 210], 是, 是, finite_only)

Wave4第四層核對=([110, 111, 112, 113, 114], [210, 211], [210, 211, 210, 211, 210], 是, 是, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0037/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 38. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[120,121],"target":[220,221,222],"mapping":[220,221]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([120, 121], [220, 221, 222], [220, 221], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([120, 121], [220, 221, 222], [220, 221], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0038/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 39. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[130,131,132],"target":[230,231,232,233],"mapping":[230,231,232]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([130, 131, 132], [230, 231, 232, 233], [230, 231, 232], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([130, 131, 132], [230, 231, 232, 233], [230, 231, 232], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0039/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 40. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[140,141,142,143],"target":[240,241,242,243,244],"mapping":[240,241,242,243]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([140, 141, 142, 143], [240, 241, 242, 243, 244], [240, 241, 242, 243], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([140, 141, 142, 143], [240, 241, 242, 243, 244], [240, 241, 242, 243], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0040/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 41. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[150,151,152,153,154],"target":[250,251],"mapping":[250,251,250,251,250]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([150, 151, 152, 153, 154], [250, 251], [250, 251, 250, 251, 250], 是, 是, finite_only)

Wave4第四層核對=([150, 151, 152, 153, 154], [250, 251], [250, 251, 250, 251, 250], 是, 是, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0041/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 42. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[160,161],"target":[260,261,262],"mapping":[260,261]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([160, 161], [260, 261, 262], [260, 261], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([160, 161], [260, 261, 262], [260, 261], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0042/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 43. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[170,171,172],"target":[270,271,272,273],"mapping":[270,271,272]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([170, 171, 172], [270, 271, 272, 273], [270, 271, 272], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([170, 171, 172], [270, 271, 272, 273], [270, 271, 272], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0043/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 44. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[180,181,182,183],"target":[280,281,282,283,284],"mapping":[280,281,282,283]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([180, 181, 182, 183], [280, 281, 282, 283, 284], [280, 281, 282, 283], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([180, 181, 182, 183], [280, 281, 282, 283, 284], [280, 281, 282, 283], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0044/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 45. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[190,191,192,193,194],"target":[290,291],"mapping":[290,291,290,291,290]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([190, 191, 192, 193, 194], [290, 291], [290, 291, 290, 291, 290], 是, 是, finite_only)

Wave4第四層核對=([190, 191, 192, 193, 194], [290, 291], [290, 291, 290, 291, 290], 是, 是, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0045/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 46. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[200,201],"target":[300,301,302],"mapping":[300,301]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([200, 201], [300, 301, 302], [300, 301], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([200, 201], [300, 301, 302], [300, 301], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0046/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 47. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[210,211,212],"target":[310,311,312,313],"mapping":[310,311,312]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([210, 211, 212], [310, 311, 312, 313], [310, 311, 312], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([210, 211, 212], [310, 311, 312, 313], [310, 311, 312], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0047/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 48. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[220,221,222,223],"target":[320,321,322,323,324],"mapping":[320,321,322,323]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([220, 221, 222, 223], [320, 321, 322, 323, 324], [320, 321, 322, 323], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([220, 221, 222, 223], [320, 321, 322, 323, 324], [320, 321, 322, 323], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0048/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 49. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[230,231,232,233,234],"target":[330,331],"mapping":[330,331,330,331,330]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([230, 231, 232, 233, 234], [330, 331], [330, 331, 330, 331, 330], 是, 是, finite_only)

Wave4第四層核對=([230, 231, 232, 233, 234], [330, 331], [330, 331, 330, 331, 330], 是, 是, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0049/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 50. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-surjection-finite；資料={"source":[240,241],"target":[340,341,342],"mapping":[340,341]}。請依 [source,target,mapping,surjective,comparison,boundary] 欄序回答。

查看答案與解釋([240, 241], [340, 341, 342], [340, 341], 否, no_comparison_certificate, finite_only)

Wave4第四層核對=([240, 241], [340, 341, 342], [340, 341], 否, no_comparison_certificate, finite_only)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0050/)

集合基數比較 · qf-mod30-cardinality-surjection-finite · candidate





## 51. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[0,1],"target":[100,101,102],"mapping":[100,101]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([0, 1], [100, 101, 102], [100, 101], 是, 否, 否, 否)

Wave4第四層核對=([0, 1], [100, 101, 102], [100, 101], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0051/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 52. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[10,11,12],"target":[110,111,112,113],"mapping":[110,111,112]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([10, 11, 12], [110, 111, 112, 113], [110, 111, 112], 是, 否, 否, 否)

Wave4第四層核對=([10, 11, 12], [110, 111, 112, 113], [110, 111, 112], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0052/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 53. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[20,21,22,23],"target":[120,121,122,123,124],"mapping":[120,121,122,123]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([20, 21, 22, 23], [120, 121, 122, 123, 124], [120, 121, 122, 123], 是, 否, 否, 否)

Wave4第四層核對=([20, 21, 22, 23], [120, 121, 122, 123, 124], [120, 121, 122, 123], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0053/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 54. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[30,31,32,33,34],"target":[130,131],"mapping":[130,131,130,131,130]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([30, 31, 32, 33, 34], [130, 131], [130, 131, 130, 131, 130], 否, 是, 否, 否)

Wave4第四層核對=([30, 31, 32, 33, 34], [130, 131], [130, 131, 130, 131, 130], 否, 是, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0054/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 55. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[40,41],"target":[140,141,142],"mapping":[140,141]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([40, 41], [140, 141, 142], [140, 141], 是, 否, 否, 否)

Wave4第四層核對=([40, 41], [140, 141, 142], [140, 141], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0055/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 56. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[50,51,52],"target":[150,151,152,153],"mapping":[150,151,152]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([50, 51, 52], [150, 151, 152, 153], [150, 151, 152], 是, 否, 否, 否)

Wave4第四層核對=([50, 51, 52], [150, 151, 152, 153], [150, 151, 152], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0056/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 57. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[60,61,62,63],"target":[160,161,162,163,164],"mapping":[160,161,162,163]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([60, 61, 62, 63], [160, 161, 162, 163, 164], [160, 161, 162, 163], 是, 否, 否, 否)

Wave4第四層核對=([60, 61, 62, 63], [160, 161, 162, 163, 164], [160, 161, 162, 163], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0057/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 58. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[70,71,72,73,74],"target":[170,171],"mapping":[170,171,170,171,170]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([70, 71, 72, 73, 74], [170, 171], [170, 171, 170, 171, 170], 否, 是, 否, 否)

Wave4第四層核對=([70, 71, 72, 73, 74], [170, 171], [170, 171, 170, 171, 170], 否, 是, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0058/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 59. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[80,81],"target":[180,181,182],"mapping":[180,181]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([80, 81], [180, 181, 182], [180, 181], 是, 否, 否, 否)

Wave4第四層核對=([80, 81], [180, 181, 182], [180, 181], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0059/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 60. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[90,91,92],"target":[190,191,192,193],"mapping":[190,191,192]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([90, 91, 92], [190, 191, 192, 193], [190, 191, 192], 是, 否, 否, 否)

Wave4第四層核對=([90, 91, 92], [190, 191, 192, 193], [190, 191, 192], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0060/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 61. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[100,101,102,103],"target":[200,201,202,203,204],"mapping":[200,201,202,203]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([100, 101, 102, 103], [200, 201, 202, 203, 204], [200, 201, 202, 203], 是, 否, 否, 否)

Wave4第四層核對=([100, 101, 102, 103], [200, 201, 202, 203, 204], [200, 201, 202, 203], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0061/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 62. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[110,111,112,113,114],"target":[210,211],"mapping":[210,211,210,211,210]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([110, 111, 112, 113, 114], [210, 211], [210, 211, 210, 211, 210], 否, 是, 否, 否)

Wave4第四層核對=([110, 111, 112, 113, 114], [210, 211], [210, 211, 210, 211, 210], 否, 是, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0062/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 63. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[120,121],"target":[220,221,222],"mapping":[220,221]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([120, 121], [220, 221, 222], [220, 221], 是, 否, 否, 否)

Wave4第四層核對=([120, 121], [220, 221, 222], [220, 221], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0063/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 64. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[130,131,132],"target":[230,231,232,233],"mapping":[230,231,232]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([130, 131, 132], [230, 231, 232, 233], [230, 231, 232], 是, 否, 否, 否)

Wave4第四層核對=([130, 131, 132], [230, 231, 232, 233], [230, 231, 232], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0064/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 65. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[140,141,142,143],"target":[240,241,242,243,244],"mapping":[240,241,242,243]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([140, 141, 142, 143], [240, 241, 242, 243, 244], [240, 241, 242, 243], 是, 否, 否, 否)

Wave4第四層核對=([140, 141, 142, 143], [240, 241, 242, 243, 244], [240, 241, 242, 243], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0065/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 66. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[150,151,152,153,154],"target":[250,251],"mapping":[250,251,250,251,250]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([150, 151, 152, 153, 154], [250, 251], [250, 251, 250, 251, 250], 否, 是, 否, 否)

Wave4第四層核對=([150, 151, 152, 153, 154], [250, 251], [250, 251, 250, 251, 250], 否, 是, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0066/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 67. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[160,161],"target":[260,261,262],"mapping":[260,261]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([160, 161], [260, 261, 262], [260, 261], 是, 否, 否, 否)

Wave4第四層核對=([160, 161], [260, 261, 262], [260, 261], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0067/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 68. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[170,171,172],"target":[270,271,272,273],"mapping":[270,271,272]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([170, 171, 172], [270, 271, 272, 273], [270, 271, 272], 是, 否, 否, 否)

Wave4第四層核對=([170, 171, 172], [270, 271, 272, 273], [270, 271, 272], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0068/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 69. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[180,181,182,183],"target":[280,281,282,283,284],"mapping":[280,281,282,283]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([180, 181, 182, 183], [280, 281, 282, 283, 284], [280, 281, 282, 283], 是, 否, 否, 否)

Wave4第四層核對=([180, 181, 182, 183], [280, 281, 282, 283, 284], [280, 281, 282, 283], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0069/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 70. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[190,191,192,193,194],"target":[290,291],"mapping":[290,291,290,291,290]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([190, 191, 192, 193, 194], [290, 291], [290, 291, 290, 291, 290], 否, 是, 否, 否)

Wave4第四層核對=([190, 191, 192, 193, 194], [290, 291], [290, 291, 290, 291, 290], 否, 是, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0070/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 71. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[200,201],"target":[300,301,302],"mapping":[300,301]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([200, 201], [300, 301, 302], [300, 301], 是, 否, 否, 否)

Wave4第四層核對=([200, 201], [300, 301, 302], [300, 301], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0071/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 72. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[210,211,212],"target":[310,311,312,313],"mapping":[310,311,312]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([210, 211, 212], [310, 311, 312, 313], [310, 311, 312], 是, 否, 否, 否)

Wave4第四層核對=([210, 211, 212], [310, 311, 312, 313], [310, 311, 312], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0072/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 73. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[220,221,222,223],"target":[320,321,322,323,324],"mapping":[320,321,322,323]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([220, 221, 222, 223], [320, 321, 322, 323, 324], [320, 321, 322, 323], 是, 否, 否, 否)

Wave4第四層核對=([220, 221, 222, 223], [320, 321, 322, 323, 324], [320, 321, 322, 323], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0073/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 74. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[230,231,232,233,234],"target":[330,331],"mapping":[330,331,330,331,330]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([230, 231, 232, 233, 234], [330, 331], [330, 331, 330, 331, 330], 否, 是, 否, 否)

Wave4第四層核對=([230, 231, 232, 233, 234], [330, 331], [330, 331, 330, 331, 330], 否, 是, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0074/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 75. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-bijection；資料={"source":[240,241],"target":[340,341,342],"mapping":[340,341]}。請依 [source,target,mapping,injective,surjective,bijective,equal_cardinality] 欄序回答。

查看答案與解釋([240, 241], [340, 341, 342], [340, 341], 是, 否, 否, 否)

Wave4第四層核對=([240, 241], [340, 341, 342], [340, 341], 是, 否, 否, 否)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0075/)

集合基數比較 · qf-mod30-cardinality-bijection · candidate





## 76. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[0,1],"target":[100,101,102]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0076/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 77. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[10,11,12],"target":[110,111,112,113]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(3, 4, 否, no_impossibility_certificate)

Wave4第四層核對=(3, 4, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0077/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 78. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[20,21,22,23],"target":[120,121,122,123,124]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(4, 5, 否, no_impossibility_certificate)

Wave4第四層核對=(4, 5, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0078/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 79. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[30,31,32,33,34],"target":[130,131]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(5, 2, 是, no_injection_finite_pigeonhole)

Wave4第四層核對=(5, 2, 是, no_injection_finite_pigeonhole)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0079/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 80. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[40,41],"target":[140,141,142]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0080/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 81. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[50,51,52],"target":[150,151,152,153]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(3, 4, 否, no_impossibility_certificate)

Wave4第四層核對=(3, 4, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0081/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 82. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[60,61,62,63],"target":[160,161,162,163,164]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(4, 5, 否, no_impossibility_certificate)

Wave4第四層核對=(4, 5, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0082/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 83. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[70,71,72,73,74],"target":[170,171]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(5, 2, 是, no_injection_finite_pigeonhole)

Wave4第四層核對=(5, 2, 是, no_injection_finite_pigeonhole)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0083/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 84. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[80,81],"target":[180,181,182]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0084/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 85. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[90,91,92],"target":[190,191,192,193]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(3, 4, 否, no_impossibility_certificate)

Wave4第四層核對=(3, 4, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0085/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 86. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[100,101,102,103],"target":[200,201,202,203,204]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(4, 5, 否, no_impossibility_certificate)

Wave4第四層核對=(4, 5, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0086/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 87. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[110,111,112,113,114],"target":[210,211]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(5, 2, 是, no_injection_finite_pigeonhole)

Wave4第四層核對=(5, 2, 是, no_injection_finite_pigeonhole)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0087/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 88. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[120,121],"target":[220,221,222]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0088/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 89. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[130,131,132],"target":[230,231,232,233]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(3, 4, 否, no_impossibility_certificate)

Wave4第四層核對=(3, 4, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0089/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 90. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[140,141,142,143],"target":[240,241,242,243,244]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(4, 5, 否, no_impossibility_certificate)

Wave4第四層核對=(4, 5, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0090/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 91. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[150,151,152,153,154],"target":[250,251]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(5, 2, 是, no_injection_finite_pigeonhole)

Wave4第四層核對=(5, 2, 是, no_injection_finite_pigeonhole)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0091/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 92. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[160,161],"target":[260,261,262]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0092/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 93. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[170,171,172],"target":[270,271,272,273]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(3, 4, 否, no_impossibility_certificate)

Wave4第四層核對=(3, 4, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0093/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 94. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[180,181,182,183],"target":[280,281,282,283,284]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(4, 5, 否, no_impossibility_certificate)

Wave4第四層核對=(4, 5, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0094/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 95. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[190,191,192,193,194],"target":[290,291]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(5, 2, 是, no_injection_finite_pigeonhole)

Wave4第四層核對=(5, 2, 是, no_injection_finite_pigeonhole)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0095/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 96. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[200,201],"target":[300,301,302]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0096/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 97. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[210,211,212],"target":[310,311,312,313]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(3, 4, 否, no_impossibility_certificate)

Wave4第四層核對=(3, 4, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0097/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 98. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[220,221,222,223],"target":[320,321,322,323,324]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(4, 5, 否, no_impossibility_certificate)

Wave4第四層核對=(4, 5, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0098/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 99. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[230,231,232,233,234],"target":[330,331]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(5, 2, 是, no_injection_finite_pigeonhole)

Wave4第四層核對=(5, 2, 是, no_injection_finite_pigeonhole)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0099/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate





## 100. 集合基數比較

mapping綁精確有限source與target。操作=cardinality-pigeonhole；資料={"source":[240,241],"target":[340,341,342]}。請依 [source_size,target_size,larger,conclusion] 欄序回答。

查看答案與解釋(2, 3, 否, no_impossibility_certificate)

Wave4第四層核對=(2, 3, 否, no_impossibility_certificate)；依完整明示資料重算；完整有限／symbolic tail證書不自動升格為未聲明的一般定理；injective surjective bijective責任分開；surjection逆向比較限有限集合且不外推無限。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0100/)

集合基數比較 · qf-mod30-cardinality-pigeonhole · candidate



[原始題目 JSONL](https://ocme.evemisslab.com/data/questions/batches/batch-20261014-advance-20261030-r05-cardinality-comparison-foundations/questions.jsonl) · [驗收報告](https://ocme.evemisslab.com/data/questions/batches/batch-20261014-advance-20261030-r05-cardinality-comparison-foundations/validation-report.json)