This question was asked in Example 1

What is axiom

Kasturi Nayak's image