Formal bilim
Formal bilimler, ideal bilimler, biçimsel bilimler veya biçim bilimleri; doğada var olmayıp yalnızca insan düşüncesindeki, duyularla algılanamayan soyut kavramları ve zaman ve mekandan bağımsız olguları, doğrudan akıl yoluyla, deney ile değil, tümdengelim yöntemini kullarak açıklamaya çalışan akademik disiplinler bütünüdür. Bilimin üç ana dalından, fennî, sosyal, formal, biri olan formal bilimler; mantık, matematik, bilişim, geometri gibi bilim dallarından oluşur.