再帰的数学(Recursive Mathematics)って何？
検索しても出てこんかった。