12,089
edits
Changes
→Axioms: del unnec specs
The axioms are just four in number, divided into the ''arithmetic initials'', <math>I_1\!</math> and <math>I_2,\!</math> and the ''algebraic initials'', <math>J_1\!</math> and <math>J_2.\!</math>
The axioms are just four in number, divided into the ''arithmetic initials'', <math>I_1\!</math> and <math>I_2,\!</math> and the ''algebraic initials'', <math>J_1\!</math> and <math>J_2.\!</math>
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_20.jpg|500px]] || (20)
| [[Image:Logical_Graph_Figure_20.jpg|500px]] || (20)
|-
|-
One way of assigning logical meaning to the initial equations is known as the ''entitative interpretation'' (EN). Under EN, the axioms read as follows:
One way of assigning logical meaning to the initial equations is known as the ''entitative interpretation'' (EN). Under EN, the axioms read as follows:
{| align="center" border="0" cellpadding="10"
{| align="center" cellpadding="10"
|
|
<math>\begin{array}{ccccc}
<math>\begin{array}{ccccc}
Another way of assigning logical meaning to the initial equations is known as the ''existential interpretation'' (EX). Under EX, the axioms read as follows:
Another way of assigning logical meaning to the initial equations is known as the ''existential interpretation'' (EX). Under EX, the axioms read as follows:
{| align="center" border="0" cellpadding="10"
{| align="center" cellpadding="10"
|
|
<math>\begin{array}{ccccc}
<math>\begin{array}{ccccc}