「デーデキントの切断」で知られる。数論を公理論的に記述しようとした先駆け。