конструкции из тк появились например не из объектов реального мира, а из наблюдения за математикой как таковой
практически вся математика на этом выстроена. просто со временем количество отдаленности от фактов реальньго мира стала настолько ощутимой, что перестала чувствоваться связь. Это как когда ты программируешь на каком-то языке, ты думаешь как там взаимодействуют электронные элементы в микросхемах? нет, но тем не менее они двигаются там, хоть ты и не задумываешься о них.