Здравствуйте, WFrag, Вы писали:

WF>Мое утверждение носит А-характер (грубо: для любой фичи Java фича не является революционной, А-утверждение — термин из математической логики). Соответственно, его можно только опровергнуть, а не доказать (на самом деле, конечно, это не совсем так — множество фич все-таки конечно).

Утверждение "все четные числа — составные" тоже носит А-характер, но доказать его не составит труда.