[Mat06] matlog

[Csata Arpad]

Hello!

Ket dolog.
Szolok ha nem keso, hogy a Lowenheim-Skolembol(9. tetel) a "felszallo" a 
Lowenheim-Skolem-Tarski, a "leszallo" a Lowenheim-Skolem.Vagyis a konyvben 
ezen a neven futnak.Egyebkent felszallo=bizonyos feltetelek mellett van 
nagyobb szamossagu modellje, leszallo meg hogy kisebb van.
A masik hogy hacsak nem akartok szobelizni menni akkor nem kell olyan 
veresen komlyan venni a biyonyitasokat.En is voltam az elson es utana lattam 
a Viktoret kijavitva es az a bizonyos kompaktsagi tetel ket sorban nagyon 
vazlatosan volt bizonyitva es megkapta ra a pontot.ez foleg Tuz Csabinak 
szol.
Az Ero legyen veletek!(nem a Zsolt)

Árpi