Vspäi 1922 tedomez' tahtoi formalizuida kaik matematikad, no vl 1931 Kurt Gödel' ozuti sen tahton voimatomut, todesti teoremad.
С 1922 года учёный хотел формализовать всю математику, но в 1931 году Курт Гёдель доказал бессилие этой воли, доказав теорему.