ты какие-то разные аксиоматические системы берешь
Я же уже говорил что границы абстракций и про то, что провести их можно по разному. То, что тот кусок, который я отрезал включает в себя то, что не включает твой - следствие того, что мы разрезали их по-разному.