https://1library.org/document/yrk2o6oz-logicasdainconsistenciaedaincompletude-semanticaeaxiomatica.html