http://pt.dbpedia.org/resource/Teorema_da_boa_ordenação

data from the linked data cloud