デデキントの切断を物理実験でどう使うかを教えてください