prior knowledge

سەردەمانی بەر لە تۆمار کردنی مێژوو.

بەرەوپیل

پێشوازی کردن لە باسێک یاخود کەسێک. «پیل» لە موکریان بۆ «شان» ڕۆیشتووە (لە سلێمانی بۆ باتریش «پیل» دەڵێن)، دەربڕینەکەش لەوەوە هاتووە کە بەرەو شانی یەکێک بچیت بۆ ماچ کردن و بەخێرهاتنی. شان ماچ کردن لە کوردەواریدا ئەوپەڕی پلەی ڕێزگرتنێکی ڕێزدارانەیە بۆ مرۆڤی تەمەندار. ئەمە لایەنە بەرهەستەکەیەتی.
هەمان وشە بۆ لایەنی دەرهەست (ئەبستراکت) ڕۆیشتووە. ئەم پرۆژە نوێیە دڵپەسەندە بۆیە زۆرینە بەرەوپیلی دەچن. کە دەکاتەوە «پێشوازی لێ کردن».

Prime number (ژمارەی بەرایی) ژمارەیەکی سروشتییە گەورەتر لە یەک و تەنها دوو «ژێربەش»ی هەیە، یەک (ی ئایەتی و نایەتی) و خۆی (ی ئایەتی و نایەتی). بەرەژماری ژێر سەد ئەمانەن: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97. ژمارەی دوو، تاکە «بەرەژمار»ە جووتژمار بێت، چونکە هەموو جووتژمارێکی دیکە دابەش دەکرێت بەسەر دوودا. ژمارەی پێنج تاکە «بەرەژمار»ە بە پێنج کۆتا بێت، چونکە هەموو ژمارەیەکی دیکەی بە پێنج کۆتا بێت دابەش دەکرێت بەسەر پێنجدا.

presupposition, گریمانەی بێبەڵگە، گریمانەی پێش سەلماندنی بە بەڵگەوبەند.