算術集(arithmetical set)一元算術關係的自然數集.指能表示成形如{.x: W W } }z.Y2, ...RnynS Cy,yn , }. ) }的自然數集，其中W ,}z,…，Q。為一階量詞」或fl,S為n十1元遞歸謂詞一集合A為算術集，若且唯若存在自然數n，使A鎮},}<n}.在某些教科書中，也有時將後者作為算術集的定義.若集合A為乏，關係(或二。關係，。。關係)，則稱A為乏，集(或二。集，乙。集).
