"Posterior Analytics" is an insightful work by Aristotle that contains his account of demonstrations and their role in knowledge. He claims that each science consists of a set of first principles that are necessarily true and knowable. Moreover, he stated that science includes a set of truths logically derivable from and causally defined by the first principles.