Languages are true analytical methods. Algebra, the means of expression which is the simplest, most exact and best adapted to its object, is both a language and an analytical method. In short, the art of reasoning can be reduced to a well-constructed

Antoine Lavoisier