математикалық және логикалық жүйелер объектілерін анықтау әдістерінің бірі. Оның мәні мынада: а) жүйенің түпкі немесе элементар объектілері; ә) нақты бар объектілерден жүйенің жаңа объектілерін құруға мүмкіндік беретін ережелері немесе операциялар көрінеді. Сөйтіп дұрыс құрылған натуралдық санды (арифметикада), сондай-ақ дәлелденетін формуланы (логикалық есептеулерде) және т.б. анықтанды. Индукциялық логика толық болуы лазым, яғни оның амалдарымөн осы жүйенің барлық объектілері анықталуга тиіс.