- #1

disregardthat

Science Advisor

- 1,866

- 34

I have recently read about intiuitional logic, and have a question. What is the formal form of the statement "A is non-empty", where A is a set?

Could it be a pair <a,b>, where a is an element of A, and b is a proof of that a is an element of A; i.e. if A = { x | phi(x) }, then a is an object, and b is a proof of phi(a)?

Could it be a pair <a,b>, where a is an element of A, and b is a proof of that a is an element of A; i.e. if A = { x | phi(x) }, then a is an object, and b is a proof of phi(a)?

Last edited: