English Peano axioms Cited by user Trappist the monk on 06 Nov 2023 In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century…
English Non-standard model of arithmetic Cited by user Jochen Burghardt on 18 Oct 2023 In mathematical logic, a non-standard model of arithmetic is a model of first-order Peano arithmetic that contains non-standard numbers.
English First-order logic Cited by user C7XWiki on 02 Mar 2023 First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics…
Vietnamese Quan hệ hai ngôi Cited by user Mwcb on 21 Jun 2022 Trong toán học, một quan hệ hai ngôi (hay còn gọi là quan hệ nhị phân) trên hai tập A và B là một tập các cặp được sắp (a, b), chứa các phần tử a thuộc A và các phần tử…