User blog comment:Edwin Shade/How do you Rayo-name BB(n) ?/@comment-1605058-20171022203525/@comment-31837178-20171022213518

@LittlePeng9 - I love that FOST wiki page. I don't know much set theory, just some basic set terminology, and this set of definitions gives me hope of understanding Rayo's function. Thanks!