"3"^^ . . . . . . . "axiom of specification"@en . .