Much effort has gone into devising rigorous foundations for mathematics. Many variants exist, and long may the variation continue – for it has kicked up plenty of interesting material along the way. However, it suffices for my purposes, whatever variety of foundation you may chose to use, to introduce a single straightforward notion – the relation – from which arise tools familiar to any mathematician, out of which may be built all the mathematics a physicist ever needs. This being my aim, I attend to foundations only sufficiently to assert what little I assume of them, so as to render the rest of what I discuss compatible with a broad variety of foundations.

A relation, put simply, is characterized by: for any relation, r, any
values, x and y, one may legitimately ask does r relate x to y ?

–
that is, it's a valid and meaningful question, though not necessarily within our
power to answer in all cases. A relation is then understood simply in terms of
which values it relates to which values. Given an expression containing two
names not bound by context to any value, one can construct a relation by
choosing one of these names (choosing the other at this point gives the reverse
relation) and saying that one value relates to another precisely when,
substituting the former for the chosen name and the latter for the other, the
expression reads as a true statement.

From this beginning, one can define
pairs, mappings, collections, the natural numbers and lists, topology, binary
operators, scalars and linearity, measure and probability, smoothness, geometry
and curvature. I want these tools at my disposal when I come to discuss
physics. Alongside my introduction to relations and these consequences, I
define plaintext denotations for the
various kinds of value which arise in these discussions (and for the various
ways they interact), and introduce a
bestiary of primitive

entities. I have taken some care to ensure
that the denotations thus implied for the mathematical entities I'll be using in
physics can be clear and concise, yet specify a rich structure of well-defined
behaviour. Work out for yourself whether I've succeeded.

- Preliminaries and newer work on foundations, denotation and glossary.
- Binary operators, associativity and distributivity.
- Group theory
- Finiteness, its opposite, the naturals and the ordinals.
- General witterings about the nature of numbers and more specific witterings inspired by Conway's surreal numbers.
- Set theory, the disjoint
sum and sub-
*whatever*s. - Cantor's diagonal argument from a slightly twisted point of view, regenerating Peano's axioms.
- Attempts at thinking constructively.
- Arrow Land and some thoughts on Category Theory. Esoteric.
- Logic seen through the eyes of category theory.
- Discussing logic in the abstract, as required for such general results as Gödel's theorem and Turing's theorem about the halting problem.