Što Ekstenzija sustava znači? Niže možete pronaći jedno značenje riječi Ekstenzija sustava Također, možete i sami dodati definiciju riječi Ekstenzija sustava
1
00
Ekstenzija sustava
Sustav S' ekstenzija je sustava S akko je svaki teorem u S teorem u S'. Slijedi da je svaki model za S' model za S.