问题是这个可以构造啊。
任何关于有限集的问题，你能给出非构造性的证明（证明该命题确实是正确的），那么你就一定可以给出构造性的证明。
【 在 GGGGDDDDK 的大作中提到: 】
: 并不是只有选择公理那种算非构造性
: 例如经典的问题，从1到n里轮流取一个数，不能取已取的数的约数，
: 无法取者输
: ...................
--
FROM 76.126.252.*