Kanıtlanabilirlik açısından farklı ne demek?