Arutelu:Kompaktsusteoreem
Viimase kommentaari postitas Andres 12 aasta eest.
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)