3
$\begingroup$

Are there any "Zermelo-type theories" for some other type of mathematical objects except for sets? I.e., axiomatic systems for mathematical objects formalized for first-order logic using a language consisting of one or more non logical symbols (corresponding to $\in$)?

How to think about those systems, do they define the objects or the non logical symbols or both? Or are such systems merely statutes, rules for working with the objects and symbols? Could a system of this kind ever be categorical?

Edit: as the question is formulated Peano axioms for natural numbers and Tarski axioms for geometry are examples. Among others! But I thought I was asking for something else. But I think I learned something anyway, both from formulating the question and from reading the comments.

$\endgroup$
  • 2
    $\begingroup$ Avoid such titles. If one searches for "scratch" in the web, one would not get a hit from this question. $\endgroup$ – Pedro Tamaroff Nov 8 '14 at 22:06
  • $\begingroup$ Here are many examples of first-order theories: en.wikipedia.org/wiki/List_of_first-order_theories $\endgroup$ – Hanno Nov 8 '14 at 22:20
  • $\begingroup$ @Arthur: As far as I know, Hilbert's axioms are not first order, but Tarski's are. $\endgroup$ – Hanno Nov 8 '14 at 22:31
  • 1
    $\begingroup$ @Arthur - I do not thin so; see Hilbert's axioms : it a three-sorted anguage (points, lines, planes) but the Axiom of line completeness is stated in terms of "a system of points, straight lines, and planes". For an elementary axiomatization, see Tarski's axioms. $\endgroup$ – Mauro ALLEGRANZA Nov 8 '14 at 22:34
2
$\begingroup$

Perhaps you're looking for something like map theory, which is an attempt to provide a general foundation for mathematics where the fundamental objects are functions rather than sets?

$\endgroup$
  • $\begingroup$ I will look at it. Has it something to do with a computer programming language called ML, Meta Language? $\endgroup$ – Lehs Nov 8 '14 at 23:53
  • $\begingroup$ @Lehs: Yes, quite a bit. (I can't answer detailed questions about it, though -- I once tried to read an earlier version of the system, but it seems to have changed significantly since that one). $\endgroup$ – Henning Makholm Nov 9 '14 at 0:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.