هاگویی پیامد همچنین شناخته شده با: تصدیق تالی تاربرگهای پیمودهشده در این نشست: Ptolemy ⟩ perceptron ⟩ Peano arithmetics ⟩ Paul the Persian ⟩ partially ordered set ⟩ Proof theorists