设集合P⊆Z，且满足下列条件：

（1）∀x，y∈P，x+y∈P；       

（2）-1∉P；

（3）P中的元素有正数，也有负数； 

（4）P中存在是奇数的元素．

现给出如下论断：

①P可能是有限集；

②∃m，n∈P，mn∈P；

③0∈P；         

④2∉P．

其中正确的论断是______． （写出所有正确论断的序号）

面向对象的开发方法中，______是面向对象技术领域内占主导地位的标准建模语言，用这种语言描述系统与外部系统及用户之间交互的图是______。

A．RUP
B．C++
C．UML
D．JaVa