Formal bilim
Formal bilimler, ideal bilimler, biçimsel bilimler veya biçim bilimleri, doğada var olmayan, yalnızca insan düşüncesinin ürünü olan unsurları, 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 kullanarak 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. Formal bilimler teorik sembol ve kurallardan oluşurlar.