すでに正しいと証明された事柄のことで、新しい問題を解く際の根拠として使われます。例えば「ピタゴラスの定理」のように、論理を組み立てる際の「確かなルール」です。