Ухх..
В перовом случае я постулирую понятие алгоритма и постулирую конкретный алгоритм, далее я предполагаю у него свойство и проверяю свойство выполнением алгоритма. Свойство заложено уже в постулатах. Нужно его только найти и проверить.
Для чисел я постулирую понятие числа и постулирую свойство. Вычислить это свойство невозможно, т.к. в определении числа оно не заложено.