Matematické Fórum

Ahoj,

dejme tomu, že mám teorie a její formule: T1 ={ fi1,fi2,fi3,fi4} a T2={fi2,fi3,fi5,fi6}. Jak byste dokazovali, že je T2 rozšířením T1? Předpokladám, že nám stačí zjistit, že jsou fi1 a f4 dokazatelné v T2, ale jak na to obecně? Řeší se to nějak na syntaktické úrovni odvozovacím systémem nebo sémanticky? Viděl jsem sémantickou cestu, kdy se nějak zvolilo univerzum pro T1 a pak se to aplikovalo na T2, ale moc jsem to nepochopil teda. A pomocí odvozovacího systému mi to taky není moc jasné, jak do toho systému napasuju tu teorii T2, ve které dokazuju T1. Měl byste někdou nějaké rady jak obecně na tento problém?

Díky moc