1既不是質數，又不是合數，因為1只有它自己本身這一個因數。質數是指大于1的自然數中除了1和它本身以外不再有其他因數的自然數。換句話說，質數只有兩個因數。與質數相反，合數是能被除了1和它本身以外的其他自然數整除的數。對于一個大于1的自然數而言，如果它不能被其他自然數整除，那么它就是質數，否則就是合數。質數的個數是無窮的，這一點在歐幾里得的《幾何原本》中有著經典的證明。