level 12
就一集合论习题，依次证明以下结论：
1. 有限长度的整数串可数
2. 整系数一元方程式可数
3. 代数数可数
2023年06月08日 14点06分
level 9
代数数集是可数集。
原因：
设n为整系数多项式方程的次数，
则输入(n+1)个整数a[0],a[1],a[2],...,a[n]作为多项式方程中各项的系数，
再输入序号：闭区间[1,n]上的整数，
可以输出一个代数数
（即输入(n+2)个整数，输出一个代数数）。
和有理数集是可数集同理（输入两个整数即可输出一个有理数）。
2023年06月08日 15点06分
7
原因：
设n为整系数多项式方程的次数，
则输入(n+1)个整数a[0],a[1],a[2],...,a[n]作为多项式方程中各项的系数，
再输入序号：闭区间[1,n]上的整数，
可以输出一个代数数
（即输入(n+2)个整数，输出一个代数数）。
和有理数集是可数集同理（输入两个整数即可输出一个有理数）。
