Takeuti's conjecture

GPTKB entity