это уже реализовано в программе run_nr_i, частью которой код, приведенный в этой статье, является. 

Гм..монеты считать конечно можно.Они уже различимы(счётны). Но вопрос о кругах и квадратах уже сложнее. Вы вводите различие по дополнительным признакам,например цвет. 

 Если задать в качестве орт круг и квадрат, то каждый элемент мно- жества {синий квадрат, красный квадрат, зеленый квадрат | квадрат} бу- дет являться квадратом и каждый элемент множества {красный круг, си- ний круг, зеленый круг | круг} будет являться кругом. Но эти же отноше- ния элементов множества могут быть выражены количественно. Вооб- ще, отношения чисел сводятся к отношениям меньше, больше. И каждое следующее большее число получается из того, что меньше. В этом смысле первый и третий элементы, например, множества квадратов бу- дут противоположными по отношению ко второму элементу, который может быть как синим, так и зеленым или красным квадратом. Таким об- разом, понятие противоположности применимо и по отношению к поня- тиям меньше, больше. Впрочем, именно это имеется ввиду, когда рас- сматривается выше/ниже, вперед/назад, влево/вправо.

Но можно в качестве орт, как уже говорилось, взять элементы рас- сматриваемого множества {синий квадрат, красный квадрат, зеленый квадрат}. Тогда возможно, например, такое: {красный квадрат со сторо- ной 5 см, красный квадрат со стороной 8 см | красный квадрат}, {синий квадрат со стороной 8 см, синий квадрат со стороной 2 см | синий квад- рат}, {зеленый квадрат со стороной 7 см, зеленый квадрат со стороной 3 см | зеленый квадрат}.

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