入手文献、論証的/公理論的数学の発明者

例によって真夜中。
手短に記さねばならぬ。