Posted By: Koles (http://guide.terminal.cz/) on 'CZphilosophy' Title: Re: Teorie a model po matematicku :-) Date: Thu Feb 20 10:47:27 1997 Pozor - jeste delsi quoting nez v predchozim postu! > Matematickou teorii (B) asi minis system axiomu, pokud jsem aspon trochu v > obraze. Zatimco model (A) je nejake omezeni se na objekty urciteho typu, > ktere slouzi jako reprezentace (B). Tak tak. > To jsou ale paradoxy. Stejne bych ti byl vdecen, abys trochu osvetlil, jak > mohou vypadat ruzne modely pro jeden system axiomu a do jake miry je > identita techto modelu dana jinymi systemy axiomu nebo jestli je nezavisla > apod. Ted si nejsem jisty, na co se me vlastne ptas. Jestli staci jen priklad na ruzne modely pro jeden system axiomu, tak si vem treba dve ruzne grupy - a hned mas dva modely teorie (neboli systemu axiomu) grup :) > Je konzistence totez, jako ze existuje model, nebo je jen jedno > podmnozinou druheho? Ano, je to totez ... sice to neni primo definice, ale vyjde to nastejno. > /// O __ Your Lumidek. mailto:lmot2220@menza.mff.cuni.cz Pavel --- Kabalisticke uceni nam rika, ze jediny krach je vnitrni, nepocitame-li ten vnejsi...