Persian قضیۀ لیندستروم Cited by user Aminmozaffari.s on 08 Dec 2022 در منطق ریاضی، قضیۀ لیندستروم (به نام منطقدان سوئدی پر لیندستروم، که آن را در سال 1969 منتشر کرد) بیان میکند که منطق مرتبۀ اول، قویترین منطق است (برآورده کردن شرایط معی…
Italian Teorema di Lindström Cited by user 79.17.52.73 on 24 Nov 2022 Nella logica matematica, il teorema di Lindström afferma che la logica del primo ordine è 'la logica più forte'' (a patto che soddisfi determinate condizioni, come la…
English Lindström's theorem Cited by user 84.232.153.125 on 13 Jun 2014 In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the strongest logic (sat…