Hallo adila,
wahr oder falsch: ∀x∈ℕ0: ∃y∈ℕ0: x|y  Begründung
              jedes x teilt  y = beliebiges Vielfaches von x 
wahr oder falsch: ∀y∈ℕ0: ∃x∈ℕ0: x|y  Begründung
              x = 1   teilt  jedes x ∈ ℕ0
wahr oder falsch: ∀x∈ℕ0: ∃y∈ℕ0: x=y  Begründung
              wähle für beliebiges x:   y = x  
wahr oder falsch: ∀y∈ℕ0: ∃x∈ℕ0: x<y  Begründung 
               für  y=0   gibt es kein x ∈ ℕ0  mit  x < 0  
Gruß Wolfgang