Arutelu:Kompaktsusteoreem

Viide on puudulik.

Leian, et mudeli ja mudeliteooria kohta peaksid olema eri artiklid.

"Konsistentse" asemel võiks öelda "mittevasturääkiv" või "kooskõlaline". Andres (arutelu) 15. märts 2012, kell 18:30 (EET)

"Lõplikult konsistentne" on eraldi mõiste? Andres (arutelu) 15. märts 2012, kell 18:33 (EET)

Mnjah, ma pole kindel, millist sõna Eesti loogikud pruugivad. Mudeliteooriale olid miskipärast inglises mõlemad lingid, tegelikult ma teeks pigem isegi mudeli mõistest loogikas eraldi artikli. Matemaatiline mudel on ju midagi hoopis muud. --Oop (arutelu) 15. märts 2012, kell 18:40 (EET)

Mudeli mõiste loogikas vajab muidugi eraldi artiklit. Andres (arutelu) 15. märts 2012, kell 18:52 (EET)

Viide on endiselt lugejale arusaamatu. Kuriuss 23. august 2017, kell 21:31 (EEST)