—один из способов определения объектов математических и логических систем. Состоит в том, что указываются: а) исходные или элементарные объекты системы; б) правила или операции, позволяющие из имеющихся объектов образовывать новые объекты системы. Т. обр. определяют натуральное число (в арифметике), правильно построенную, а также доказуемую формулы (в логических исчислениях) и др. И. о. должно быть полно, т. е. его средствами должны определяться все объекты данной системы, и только они.
|
