TIETÄMÄTÖN: Aristoteles nyt autoformalisoi kokonaisia matematiikan esseitä