pravda aritmetická ( Frege, G.)-EI
EI1 Podľa Fregeho sú aritmetické pravdy analytické. ( L72;268) Podobne aj podľa Leibniza ( pravda aritmetická (Leibniz, G. W.)).