https://123dok.net/document/yevnl1e7-complete-order-axiomatization-finite-infinite-m-extended-trees.html