名前で判断するなら、「ノイマン型コンピュータ」なんかノイマンの業績になるだろ。
一貫してない話だな。

ZF公理系の「正規性の公理」はノイマンの発案だそうだが？