Онтология и теория познания

Отношение, в котором некоторые из наших идей обосновываются с помощью других идей, называется:

выводимостью