Takeuti's reduction conjecture

GPTKB entity