証明 (数学)
存在証明 - 解が存在することを示す行為
一意性証明 - (解がもし存在すれば)解の数は1つであることを示す行為