Mathematical concepts and systems