Индукция (в логике)