В прошлом посте я писал о попытках вывести математику из принципов формальной логикиЧитать полностью »