А.З.ф.И.>> Пускай yacc сначала докажет понятие массы.yacc> Оно не доказывается, оно постулируется.
Что постулируется?
Что вытекает из "понятия массы"?
Уважаемейший yacc, дело не обстоит таким образом, что мы говорим - "постулируем, что все тела обладают массой, отсюда вывод - тела притягиваются по закону такому-то". Наоборот, мы увидели в эксперименте, что тело такое-то и такое-то притягиваются друг к другу и говорим - "давайте построим такую матмодель, в рамках которой припишем телам параметр М, который определим как сила притяжения к некоторому произвольному образцу, и будем считать, что сила притяжения между телами равна тому-то". При этом не забудем добавить, что пока наша матмодель отвечает эксперименту - мы ее пользуем, но если вдруг найдутся эксперименты, ее опровергающие - значит, эту матмодель надо поправить. И теперь - главное, сделайте над собой усилие и вы поймете. Эту матмодель надо будет поправить
не потому, что она как оказалось не является Настоящей Пацанской Моделью. Ее надо будет поправить потому, что она не предсказывает результаты наблюдений. Поняли?