formal sciences are sciences that study disciplines with abstract structures described by formal systems
knowledge in formal science cannot be justified or tested with empirical evidence, so formal science relies on axioms from which theorems are made
list of formal sciences