Представьте систему исчисления предикатов, включая аксиомы и правила вывода. Объясните понятие формальной системы, непротиворечивости и полноты. Проанализируйте значение теорем Гёделя о неполноте для оснований математики и философии математики.