Of course, it is necessary and a footstone for truth-seeking of the extensional logic.

• 当然这对于外延逻辑的求真是基始的和必要的。