# 逐題詳解 [上一頁](https://ocme.evemisslab.com/zh-Hant/questions/page/49/) 第 50 / 180 [下一頁](https://ocme.evemisslab.com/zh-Hant/questions/page/51/) 全部36000題詳解已提供中英顯示、基本符號及結構檢查，且第1–36000題已全部完成第二對話數理與中英語義覆核；不再有顯示／符號檢查候選。 候選群共 36000 題；已發布 36000 題詳解，其中數理覆核 36000 題、顯示／符號檢查候選 0 題；其餘 0 題尚未在此發布。 - [第 9801 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0051/) · R0018-09801 · 已數理覆核 - [第 9802 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0052/) · R0018-09802 · 已數理覆核 - [第 9803 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0053/) · R0018-09803 · 已數理覆核 - [第 9804 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0054/) · R0018-09804 · 已數理覆核 - [第 9805 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0055/) · R0018-09805 · 已數理覆核 - [第 9806 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0056/) · R0018-09806 · 已數理覆核 - [第 9807 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0057/) · R0018-09807 · 已數理覆核 - [第 9808 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0058/) · R0018-09808 · 已數理覆核 - [第 9809 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0059/) · R0018-09809 · 已數理覆核 - [第 9810 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0060/) · R0018-09810 · 已數理覆核 - [第 9811 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0061/) · R0018-09811 · 已數理覆核 - [第 9812 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0062/) · R0018-09812 · 已數理覆核 - [第 9813 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0063/) · R0018-09813 · 已數理覆核 - [第 9814 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0064/) · R0018-09814 · 已數理覆核 - [第 9815 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0065/) · R0018-09815 · 已數理覆核 - [第 9816 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0066/) · R0018-09816 · 已數理覆核 - [第 9817 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0067/) · R0018-09817 · 已數理覆核 - [第 9818 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0068/) · R0018-09818 · 已數理覆核 - [第 9819 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0069/) · R0018-09819 · 已數理覆核 - [第 9820 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0070/) · R0018-09820 · 已數理覆核 - [第 9821 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0071/) · R0018-09821 · 已數理覆核 - [第 9822 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0072/) · R0018-09822 · 已數理覆核 - [第 9823 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0073/) · R0018-09823 · 已數理覆核 - [第 9824 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0074/) · R0018-09824 · 已數理覆核 - [第 9825 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0075/) · R0018-09825 · 已數理覆核 - [第 9826 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0026/) · R0018-09826 · 已數理覆核 - [第 9827 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0027/) · R0018-09827 · 已數理覆核 - [第 9828 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0028/) · R0018-09828 · 已數理覆核 - [第 9829 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0029/) · R0018-09829 · 已數理覆核 - [第 9830 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0030/) · R0018-09830 · 已數理覆核 - [第 9831 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0031/) · R0018-09831 · 已數理覆核 - [第 9832 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0032/) · R0018-09832 · 已數理覆核 - [第 9833 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0033/) · R0018-09833 · 已數理覆核 - [第 9834 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0034/) · R0018-09834 · 已數理覆核 - [第 9835 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0035/) · R0018-09835 · 已數理覆核 - [第 9836 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0036/) · R0018-09836 · 已數理覆核 - [第 9837 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0037/) · R0018-09837 · 已數理覆核 - [第 9838 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0038/) · R0018-09838 · 已數理覆核 - [第 9839 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0039/) · R0018-09839 · 已數理覆核 - [第 9840 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0040/) · R0018-09840 · 已數理覆核 - [第 9841 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0041/) · R0018-09841 · 已數理覆核 - [第 9842 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0042/) · R0018-09842 · 已數理覆核 - [第 9843 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0043/) · R0018-09843 · 已數理覆核 - [第 9844 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0044/) · R0018-09844 · 已數理覆核 - [第 9845 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0045/) · R0018-09845 · 已數理覆核 - [第 9846 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0046/) · R0018-09846 · 已數理覆核 - [第 9847 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0047/) · R0018-09847 · 已數理覆核 - [第 9848 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0048/) · R0018-09848 · 已數理覆核 - [第 9849 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0049/) · R0018-09849 · 已數理覆核 - [第 9850 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0050/) · R0018-09850 · 已數理覆核 - [第 9851 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0076/) · R0018-09851 · 已數理覆核 - [第 9852 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0077/) · R0018-09852 · 已數理覆核 - [第 9853 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0078/) · R0018-09853 · 已數理覆核 - [第 9854 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0079/) · R0018-09854 · 已數理覆核 - [第 9855 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0080/) · R0018-09855 · 已數理覆核 - [第 9856 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0081/) · R0018-09856 · 已數理覆核 - [第 9857 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0082/) · R0018-09857 · 已數理覆核 - [第 9858 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0083/) · R0018-09858 · 已數理覆核 - [第 9859 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0084/) · R0018-09859 · 已數理覆核 - [第 9860 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0085/) · R0018-09860 · 已數理覆核 - [第 9861 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0086/) · R0018-09861 · 已數理覆核 - [第 9862 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0087/) · R0018-09862 · 已數理覆核 - [第 9863 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0088/) · R0018-09863 · 已數理覆核 - [第 9864 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0089/) · R0018-09864 · 已數理覆核 - [第 9865 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0090/) · R0018-09865 · 已數理覆核 - [第 9866 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0091/) · R0018-09866 · 已數理覆核 - [第 9867 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0092/) · R0018-09867 · 已數理覆核 - [第 9868 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0093/) · R0018-09868 · 已數理覆核 - [第 9869 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0094/) · R0018-09869 · 已數理覆核 - [第 9870 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0095/) · R0018-09870 · 已數理覆核 - [第 9871 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0096/) · R0018-09871 · 已數理覆核 - [第 9872 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0097/) · R0018-09872 · 已數理覆核 - [第 9873 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0098/) · R0018-09873 · 已數理覆核 - [第 9874 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0099/) · R0018-09874 · 已數理覆核 - [第 9875 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0100/) · R0018-09875 · 已數理覆核 - [第 9876 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0001/) · R0018-09876 · 已數理覆核 - [第 9877 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0002/) · R0018-09877 · 已數理覆核 - [第 9878 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0003/) · R0018-09878 · 已數理覆核 - [第 9879 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0004/) · R0018-09879 · 已數理覆核 - [第 9880 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0005/) · R0018-09880 · 已數理覆核 - [第 9881 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0006/) · R0018-09881 · 已數理覆核 - [第 9882 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0007/) · R0018-09882 · 已數理覆核 - [第 9883 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0008/) · R0018-09883 · 已數理覆核 - [第 9884 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0009/) · R0018-09884 · 已數理覆核 - [第 9885 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0010/) · R0018-09885 · 已數理覆核 - [第 9886 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0011/) · R0018-09886 · 已數理覆核 - [第 9887 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0012/) · R0018-09887 · 已數理覆核 - [第 9888 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0013/) · R0018-09888 · 已數理覆核 - [第 9889 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0014/) · R0018-09889 · 已數理覆核 - [第 9890 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0015/) · R0018-09890 · 已數理覆核 - [第 9891 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0016/) · R0018-09891 · 已數理覆核 - [第 9892 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0017/) · R0018-09892 · 已數理覆核 - [第 9893 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0018/) · R0018-09893 · 已數理覆核 - [第 9894 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0019/) · R0018-09894 · 已數理覆核 - [第 9895 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0020/) · R0018-09895 · 已數理覆核 - [第 9896 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0021/) · R0018-09896 · 已數理覆核 - [第 9897 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0022/) · R0018-09897 · 已數理覆核 - [第 9898 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0023/) · R0018-09898 · 已數理覆核 - [第 9899 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0024/) · R0018-09899 · 已數理覆核 - [第 9900 題：開閉集有限核對](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r01-open-closed-set-0025/) · R0018-09900 · 已數理覆核 - [第 9901 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0026/) · R0018-09901 · 已數理覆核 - [第 9902 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0027/) · R0018-09902 · 已數理覆核 - [第 9903 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0028/) · R0018-09903 · 已數理覆核 - [第 9904 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0029/) · R0018-09904 · 已數理覆核 - [第 9905 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0030/) · R0018-09905 · 已數理覆核 - [第 9906 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0031/) · R0018-09906 · 已數理覆核 - [第 9907 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0032/) · R0018-09907 · 已數理覆核 - [第 9908 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0033/) · R0018-09908 · 已數理覆核 - [第 9909 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0034/) · R0018-09909 · 已數理覆核 - [第 9910 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0035/) · R0018-09910 · 已數理覆核 - [第 9911 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0036/) · R0018-09911 · 已數理覆核 - [第 9912 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0037/) · R0018-09912 · 已數理覆核 - [第 9913 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0038/) · R0018-09913 · 已數理覆核 - [第 9914 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0039/) · R0018-09914 · 已數理覆核 - [第 9915 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0040/) · R0018-09915 · 已數理覆核 - [第 9916 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0041/) · R0018-09916 · 已數理覆核 - [第 9917 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0042/) · R0018-09917 · 已數理覆核 - [第 9918 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0043/) · R0018-09918 · 已數理覆核 - [第 9919 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0044/) · R0018-09919 · 已數理覆核 - [第 9920 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0045/) · R0018-09920 · 已數理覆核 - [第 9921 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0046/) · R0018-09921 · 已數理覆核 - [第 9922 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0047/) · R0018-09922 · 已數理覆核 - [第 9923 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0048/) · R0018-09923 · 已數理覆核 - [第 9924 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0049/) · R0018-09924 · 已數理覆核 - [第 9925 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0050/) · R0018-09925 · 已數理覆核 - [第 9926 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0076/) · R0018-09926 · 已數理覆核 - [第 9927 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0077/) · R0018-09927 · 已數理覆核 - [第 9928 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0078/) · R0018-09928 · 已數理覆核 - [第 9929 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0079/) · R0018-09929 · 已數理覆核 - [第 9930 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0080/) · R0018-09930 · 已數理覆核 - [第 9931 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0081/) · R0018-09931 · 已數理覆核 - [第 9932 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0082/) · R0018-09932 · 已數理覆核 - [第 9933 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0083/) · R0018-09933 · 已數理覆核 - [第 9934 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0084/) · R0018-09934 · 已數理覆核 - [第 9935 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0085/) · R0018-09935 · 已數理覆核 - [第 9936 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0086/) · R0018-09936 · 已數理覆核 - [第 9937 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0087/) · R0018-09937 · 已數理覆核 - [第 9938 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0088/) · R0018-09938 · 已數理覆核 - [第 9939 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0089/) · R0018-09939 · 已數理覆核 - [第 9940 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0090/) · R0018-09940 · 已數理覆核 - [第 9941 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0091/) · R0018-09941 · 已數理覆核 - [第 9942 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0092/) · R0018-09942 · 已數理覆核 - [第 9943 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0093/) · R0018-09943 · 已數理覆核 - [第 9944 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0094/) · R0018-09944 · 已數理覆核 - [第 9945 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0095/) · R0018-09945 · 已數理覆核 - [第 9946 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0096/) · R0018-09946 · 已數理覆核 - [第 9947 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0097/) · R0018-09947 · 已數理覆核 - [第 9948 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0098/) · R0018-09948 · 已數理覆核 - [第 9949 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0099/) · R0018-09949 · 已數理覆核 - [第 9950 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0100/) · R0018-09950 · 已數理覆核 - [第 9951 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0001/) · R0018-09951 · 已數理覆核 - [第 9952 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0002/) · R0018-09952 · 已數理覆核 - [第 9953 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0003/) · R0018-09953 · 已數理覆核 - [第 9954 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0004/) · R0018-09954 · 已數理覆核 - [第 9955 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0005/) · R0018-09955 · 已數理覆核 - [第 9956 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0006/) · R0018-09956 · 已數理覆核 - [第 9957 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0007/) · R0018-09957 · 已數理覆核 - [第 9958 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0008/) · R0018-09958 · 已數理覆核 - [第 9959 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0009/) · R0018-09959 · 已數理覆核 - [第 9960 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0010/) · R0018-09960 · 已數理覆核 - [第 9961 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0011/) · R0018-09961 · 已數理覆核 - [第 9962 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0012/) · R0018-09962 · 已數理覆核 - [第 9963 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0013/) · R0018-09963 · 已數理覆核 - [第 9964 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0014/) · R0018-09964 · 已數理覆核 - [第 9965 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0015/) · R0018-09965 · 已數理覆核 - [第 9966 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0016/) · R0018-09966 · 已數理覆核 - [第 9967 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0017/) · R0018-09967 · 已數理覆核 - [第 9968 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0018/) · R0018-09968 · 已數理覆核 - [第 9969 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0019/) · R0018-09969 · 已數理覆核 - [第 9970 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0020/) · R0018-09970 · 已數理覆核 - [第 9971 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0021/) · R0018-09971 · 已數理覆核 - [第 9972 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0022/) · R0018-09972 · 已數理覆核 - [第 9973 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0023/) · R0018-09973 · 已數理覆核 - [第 9974 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0024/) · R0018-09974 · 已數理覆核 - [第 9975 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0025/) · R0018-09975 · 已數理覆核 - [第 9976 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0051/) · R0018-09976 · 已數理覆核 - [第 9977 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0052/) · R0018-09977 · 已數理覆核 - [第 9978 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0053/) · R0018-09978 · 已數理覆核 - [第 9979 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0054/) · R0018-09979 · 已數理覆核 - [第 9980 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0055/) · R0018-09980 · 已數理覆核 - [第 9981 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0056/) · R0018-09981 · 已數理覆核 - [第 9982 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0057/) · R0018-09982 · 已數理覆核 - [第 9983 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0058/) · R0018-09983 · 已數理覆核 - [第 9984 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0059/) · R0018-09984 · 已數理覆核 - [第 9985 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0060/) · R0018-09985 · 已數理覆核 - [第 9986 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0061/) · R0018-09986 · 已數理覆核 - [第 9987 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0062/) · R0018-09987 · 已數理覆核 - [第 9988 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0063/) · R0018-09988 · 已數理覆核 - [第 9989 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0064/) · R0018-09989 · 已數理覆核 - [第 9990 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0065/) · R0018-09990 · 已數理覆核 - [第 9991 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0066/) · R0018-09991 · 已數理覆核 - [第 9992 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0067/) · R0018-09992 · 已數理覆核 - [第 9993 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0068/) · R0018-09993 · 已數理覆核 - [第 9994 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0069/) · R0018-09994 · 已數理覆核 - [第 9995 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0070/) · R0018-09995 · 已數理覆核 - [第 9996 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0071/) · R0018-09996 · 已數理覆核 - [第 9997 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0072/) · R0018-09997 · 已數理覆核 - [第 9998 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0073/) · R0018-09998 · 已數理覆核 - [第 9999 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0074/) · R0018-09999 · 已數理覆核 - [第 10000 題：合成證明項判定](https://ocme.evemisslab.com/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0075/) · R0018-10000 · 已數理覆核 原題庫保留原有候選與驗證標記；顯示與符號檢查不記作數學複審或獨立重算。 [完整出版目錄 JSON](https://ocme.evemisslab.com/data/question-derivations/publication.json) · [數理覆核索引 JSON](https://ocme.evemisslab.com/data/question-derivations/index.json)[上一頁](https://ocme.evemisslab.com/zh-Hant/questions/page/49/) 第 50 / 180 [下一頁](https://ocme.evemisslab.com/zh-Hant/questions/page/51/)