Axiomatic Functionalism: Theory and Application