https://1library.org/document/zlm9k4ly-teorias-axiomaticas-o-problema-da-ampliacao-da-base.html