"Anticomunismo" vía axiomatización - Villalobos Alpízar, Iván (2014)