#formal_sci

Methodologies that are centered on logical and procedural reasoning with certain principles, most notably, math.