Presburger arithmetic
A pledge. / A gift or gratuity.
plural of evil turn
The optical axis of an eye (extending from the viewed object through the centre of the pupil to the yellow spot of the retina)
(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.
自然数に関して零・後続・加法および（乗法を含まない）帰納の一階公理系は、加法のみの性質を推論するための決定可能な理論を提供する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
