I dagens forelesning tok vi ¡­

I dagens forelesning tok vi sunnhetsteoremet og begynte p? kompletthetsteoremet, van Dalen 3.1 og Avigad 6.3. Neste uke gj?r vi ferdig kompletthetsteoremet, og tar det viktige kompakthetsteoremet, van Dalen 3.2 og Avigad 7.2.

For de som gikk glipp av dagens forelesning pga feks hjemme-eksamen s? er det aller viktigste ? f? med seg definisjonene av teori, aksiomer, konservativ utvidelse o.l. Oppgavesett 13 dekker dette stoffet.