Describir: Axiomatic functionalism