Spanish Lógica de orden superior Cited by user Davius on 03 Aug 2023 En matemáticas y lógica, una lógica de orden superior (abreviada LOS) es una forma de lógica de predicados que se distingue de la lógica de primer orden por…
Chinese 类型论 Cited by user HTinC23 on 28 Dec 2022 類型論,數學、邏輯和電腦科學以下的一個分支,是研究不同類型系統及其表達形式的學科. 某些類型系統適合用作數學基礎,取代數學家一般使用的集合論,其中最具影響力的有阿隆佐·邱奇的有類型λ演算和佩爾·馬丁-洛夫的直覺類型論.
Italian Logica di ordine zero Cited by user 87.20.251.223 on 19 Oct 2022 La logica di ordine zero è la logica del primo ordine depurata da variabili e/o da quantificatori.
Japanese 一意性 (数学) Cited by user Oyyo37 on 29 May 2022 一意性(いちいせい、uniqueness)とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している(つまり「存在して、かつ、存在するならばただ一つだけである」の意)」という性質である.