Es decir, un sistema comienza con un grupo de proposiciones interrelacionadas que implican referencias a observaciones empíricas dentro del marco lógico de las proposiciones en cuestión.