∀(n>1)∃p₁p₂:2n=p₁+p₂❓

#goldbach conjecture #mathematical notation #logic symbols #number theory #prime sum #formal conjecture #unsolved problem