Title: Axiomatic Functionalism : Theory and Application