“Bir genel olgu kümesini açıklama ilkeleri olarak kullanılan uyumlu önermeler grubu” olarak tanımlanan kavram aşağıdakilerden hangisidir?