generated at
Arend Heyting
オランダの直観主義者

ハイティング算術
ハイティング代数