数学命题，以命题涉及的数域为基础提出。
按照数域元素的属性合理分类，作为命题证明的切入点，逻辑清晰，方法简单，往往行之有效。
.
离散函数类命题，大多属于自然数。
自然数可以按照合-素属性分类：素数、合数、和1。
偶数可以按照(2^x)(2n+1)分类：,n≥0取常数, x>0取自然数变量。
合数也可以按照最小素因子分类：偶合数、3合数、5合数、...、p合数（最小素因子是p）。
素数怎么分类？有没有相关结论或者猜想？