Нет, в этом рассуждении никакие аксиомы, как и вообще никакая математика, не используются.
Да действительно, какие-либо аксиомы как формальное отражение количественных сторон реального мира этом рассуждении не используются.
Однако кое-какие предположения автор неявно подразумевает. Например, независимость результатов пересчета от порядка пересчитываемых предметов (пересчитать две кучки яблок из двух штук в каждой можно разными способами).
Он предполагает, также, что результат пересчета не зависит от времени пересчета (один раз посчитал - оказалось 4 яблока, второй раз посчитал - оказалось тоже 4 яблока, хотя могло бы теоретически оказаться и пять или шесть).
Вот эта пространственно-временная независимость результатов пересчета, установленная в результате многократного "опыта счёта предметов" - как сказал
worm2, - и позволяет пользоваться при пересчете обычным очевидным образом, так ярко продемонстрированным в выступлении:
Ratus писал(а):
Это очевидно, если Вы умеете считать до 4. Возьмите 2 яблока и прибавьте к ним еще два. Потом посчитайте - один, два, три, четыре. Без вариантов.
На первый вопрос участника
Ratus,
Ratus писал(а):
Какие по Вашему мнению аксиомы в данном случае могли бы использоваться ?
надеюсь я ответил.
Ratus писал(а):
Или Вы считаете, что слово "очевидно" = "аксиоматично" ?
Нет, не считаю.