Логические задачи
      NazVa.net

Ох.
Аксиомы берутся ровно из ниоткуда, никак они не связаны с опытом, доказанная в рамках модели теорема строго верна и не меняется ни каждый день, ни когда-либо вообще, а формулировка задачи явно подразумевает, что веревка здесь ни при чем. Дети и яблоки - это такая бисквитная арифметика, что уже и не совсем математика. Мы об одной и той же математике говорим? Или кто-то из нас не видел предмета разговора?)