Говорят, что система является последовательной, если каждый факт в системе связан с любым другим фактом в системе с помощью отношений, которые не являются просто конъюнктивными. Дедуктивная система дает хороший пример последовательной системы.