多项选择题

如果要证明一个理论是正确的,那么该理论需要被()

A.操作化
B.函数化
C.证伪
D.证真
E.修改