:DIRECTO
:Primitiva
:Aritmetica
:Axiomatica
set binary=
%binary:O+I=I% set binary=
%binary:I+I=+IO%
:Logica
if not %binary:O+I=%==
%binary% goto Axiomatica
if not %binary:I+I=%==
%binary% goto Axiomatica
:Lenguaje formal
:Recursion
:Tesis
:RECIPROCO
:_Primitiva
:_Hipotesis
:_Aritmetica
:_Axiomatica
set binary=
%binary:O-I=-II% set binary=
%binary:I-I=O%
:_Logica
if not %binary:O-I=%==
%binary% goto _Axiomatica
if not %binary:I-I=%==
%binary% goto _Axiomatica
:_Lenguaje formal
:_Recursion
if not %binary:I=%==
%binary% goto _aritmetica
:_Tesis
:credits