问答题 用尽量少的颜色给下图所示的地图面着色。

问答题 将命题：“没有最大素数”符号化。

问答题 将命题：“每个自然数不是奇数就是偶数”符号化。