Ограничительные результаты (теоремы гёделя тарского чёрча тьюринга)