Talk:Robinson arithmetic

From Wikipedia, the free encyclopedia

[edit] Identity (Logic)

The link target for 'identity' in the first sentence under 'Axioms' points to Identity (mathematics) that doesn't really cover identity in the sense of 'first order logic with identity' (versus without identity). I think we either need to add a section to that article, or retarget this link to a more relevant location (possibly a new as-yet unwritten article?) Does anyone more familiar than I know of a more appropriate place? Zero sharp (talk) 05:37, 4 April 2008 (UTC)

I don't know of one on Wikipedia, but I am planning to rework the first order logic article, so I will try to keep this in mind when I do it. — Carl (CBM · talk) 13:38, 4 April 2008 (UTC)

Great, thanks Carl. Zero sharp (talk) 18:43, 4 April 2008 (UTC)