В математике гипотеза Такеути - это гипотеза Гайси Такеути о том, что последовательная формализация логики второго порядка имеет устранение разрезов (Takeuti 1953). Решено положительно:
Гипотеза Такеути эквивалентна непротиворечивости арифметики второго порядка в том смысле, что каждое из утверждений может быть выведено друг из друга в слабой системе PRA ; непротиворечивость относится здесь к истинности предложения Гёделя для арифметики второго порядка. Это также эквивалентно сильной нормализации системы Жирара/Рейнольда F .