У Вікіпедії є тисячі тематичних списків; деякі навіть є списками інших списків. Це не повний список списків статтей, впорядкованих за темами. Найкращі списки дивіться у Вікіпедія:Вибрані списки.
Формальні науки — сукупність наук, які займаються дослідженням формальних систем. На відміну від інших наук, формальні науки не займається вірністю теорій, обгрунтованих за допомогою спостереження реального світу, а замість цього властивості формальних систем грунтуються на визначеннях і правилах.
