Küme teorisinde ∅ ⊆ A ifadesinin her A kümesi için doğru olduğu ispatlanırken genellikle hangi mantık yöntemi kullanılır?
