>トポスもフォーシングもヒルベルトの業績の中に萌芽がある
本当？
ヘルマンダーの仕事は解析学だから
その萌芽はニュートンとライブニッツにある、というくらい遠いような