Este dia, y maga gracia al maga trabajo de un gran numero de maga matematico y maga filosofo, entre maga quien ta nota nosotros George Boole (1815-1864), Giuseppe Peano (1858-1932), Georg Cantor (1845-1918), Gottlob Frege (1848-1925) y Bertrand Russell (1872-1970), se ta desarrolla ya aya el logica simbolico o logica formal, el que ta se caracteriza por el uso de un lenguaje formal, simbolico, como el que ta se usa en el maga matematica, asi como algun maga regla estricto de transformacion entre diferente maga proposicion. En el ta puede nosotros diferencia tres maga rama principal: Teoria sintactico, Teoria semantico y Teoria axiomatico.