Anaxagoras, en système, qui prouve en démonstrations mathématiques — Baron de Ramsey