12,089
edits
Changes
→Primary arithmetic as semiotic system: del unnec specs
The axioms of the primary arithmetic are shown below, as they appear in both graph and string forms, along with pairs of names that come in handy for referring to the two opposing directions of applying the axioms.
The axioms of the primary arithmetic are shown below, as they appear in both graph and string forms, along with pairs of names that come in handy for referring to the two opposing directions of applying the axioms.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_14_Banner.jpg|500px]] || (14)
| [[Image:Logical_Graph_Figure_14_Banner.jpg|500px]] || (14)
|-
|-
For example, consider the reduction that proceeds as follows:
For example, consider the reduction that proceeds as follows:
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_16.jpg|500px]] || (16)
| [[Image:Logical_Graph_Figure_16.jpg|500px]] || (16)
|}
|}