About Truth Values
Are truth values classifiers or they determines what exists or doesnt?
Eg if proposition P is wrong(0) then shall we put it into "falsehood class" or delete the proposition from the topos?
A topos is a category theoric category where you can do local mathematics, it has its own local logic(mostly intuitistic logic)
If a proposition is wrong, should the wrong proposition excluded from the topos, or putted on a different class.
A class like that:
Truths class:All propositions that are true
Falsity Class:All propositions that are wrong