"1"^^ . . . . . . . . "teoria dos conjuntos"@pt .