在解決問題：“證明數集沒有最小數”時，可用反證法證明．

假設是中的最小數，則取，可得：，與假設中“是中的最小數”矛盾！ 那么對于問題：“證明數集沒有最大數”，也可以用反證法證明．我們可以假設是中的最大數，則可以找到   ▲   （用，表示），由此可知，，這與假設矛盾！所以數集沒有最大數．

在解決問題：“證明數集沒有最小數”時，可用反證法證明．
假設是中的最小數，則取，可得：，與假設中“是中的最小數”矛盾！那么對于問題：“證明數集沒有最大數”，也可以用反證法證明．我們可以假設是中的最大數，則可以找到   ▲  （用，表示），由此可知，，這與假設矛盾！所以數集沒有最大數．