Bir teori dizisine ait her teorinin postulatlar kümesi, temel hipotezler kümesi ile yardımcı hipotezler kümesinin birleşimidir. Dizideki tüm teorilere ortak olan temel hipotezler kümesine, teori dizisinin katı çekirdeği denir.

Bir teori dizisindeki tüm teorilere ortak olan benzer hipotezler kümesine, teori dizisinin katı çekirdeği denir.

Bir teori dizisine ait her teorinin postulatlar kümesine, teori dizisinin katı çekirdeği denir

Bir teori dizisine ait her teorinin postulatlar kümesi, temel hipotezler kümesi ile yardımcı hipotezler kümesinin birleşimidir. Dizideki her teorinin yardımcı hipotezler kümesine de o teoriye özgü teori dizisinin katı çekirdeği denir

Temel hipotezler kümesi ile yardımcı hipotezler kümesinin birleşimine, teori dizisinin katı çekirdeği denir