Wikimedia Commons tiene medios relacionados con Ciencias formales.
Una ciencia formal es una ciencia abstracta que se estudia a través de un sistema axiomático . Una ciencia formal no es lo mismo que un campo de estudio que ha sido reconocido formal u oficialmente como ciencia. No incluye las ciencias aplicadas (como la ingeniería) ni las ciencias duras (como la química).