素數란 1과그自身만으로整除되는 2以上의自然數를말한다。例컨대 2、3、5、7等이다。2以上의自然數이며 素數이지않은數는 合成數라한다。1은素數도合成數도아니다。英稱은 prime number이며、이로因해 種種任意의素數는 p로表記된다。所與의自然數n의 素數與否를判定하는 基本的인方法으로는 二를비롯하여√n以下의 모든素數에對해 n이整除되는지確認하는方法이있다。素數는無限히存在하며、이는 유클리드의『原論』에서背理的으로證明된바있다。證明은略述하면以下와같다。
素數가有限하다고假定한다。이때 、自然數n을 모든素數의總乘에 1을더한數라 定義한다。n이素數라면、n은 有限하다고假定한 어떤素數와도一致하지않는素數이다。n이合成數라면、n은 有限하다고假定한 어떤素數로도整除할수없으며 또한 2보다큰自然數이니、有限하다고假定한素數以外의 素因數를가진다。
2以上의自然數에對해서、이는 素數의곱으로나타낼수있으며 表記의順番을除하고는一意性을가진다는 算術의基本定理가成立한다。