Spanish Aritmética de primer orden Cited by user Wiki LIC on 22 Apr 2024 En lógica de primer orden, una teoría de primer orden está dada por un conjunto de axiomas en algún idioma.
English Propositional calculus Cited by user Thiagovscoelho on 22 Mar 2024 The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order…
English Cantor's isomorphism theorem Cited by user David Eppstein on 25 Sep 2022 In order theory and model theory, branches of mathematics, Cantor's isomorphism theorem states that every two countable dense unbounded linear orders are order-isomorphic.