Alexander_RUS, У Канта было по этому поводу что-то путаное, даже не берусь повторять. А по мне, так если с артиклем "ein", то запросто, а если с "der", то.. не знаю...
Sorry, не у Канта, Кант - немец, а значит больше с предикатом развлекался. А то было у Ансельма, вот:
1. God is the entity than which no greater entity can be conceived.
2. The concept of God exists in human understanding.
3. God does not exist in reality (assumed in order to refute).
4. The concept of God existing in reality exists in human understanding.
5. If an entity exists in reality and in human understanding, this entity is greater than it would have been if it existed only in human understanding (a statement of existence as a perfection).
6. from 1, 2, 3, 4, and 5 An entity can be conceived which is greater than God, the entity than which no greater entity can be conceived (logical self-contradiction).
7. Assumption 3 is wrong, therefore God exists in reality (assuming 1, 2, 4, and 5 are accepted as true).