qué son ciencias formales
Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Si bien su objeto de estudio no es el mundo físico o natural, sino objetos abstractos, sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural.