Teraz mamy 117 formalnych rozwiązań problemów Erdősa, w porównaniu do pojedynczych cyfr zaledwie cztery miesiące temu. Ponad 3/4 z nich jest napędzanych przez Arystotelesa.
źródło:
94