Demonstrable
Kanıtlanabilir