This paper is directed at the Forth community. It outlines some of
the ideas behind using Forth to create special purpose systems in mathematics.
It compares the mathematician's axiomatic view of objects and their structure
with the computer scientist's object-oriented paradigm. It shows how the mathematician's
view of mathematical objects can be realized in Forth-based systems.