Axiomatic introduction and applications