bugün

iki artı ikinin dört ettiğini nereden biliyoruz

Nesnel gerçekliğin varlığını bilemediğimiz gibi işbu gerçekliğin içindeki hiçbir nesne, koşul veya önermelerin de varlığını bilemeyiz. Bunun dışında varlığın da var olduğunu bilemiyoruz, o daha başka bir konudur. Nesnel gerçeklik içindeki bu önermeler, yine aynı gerçeklik içinde karşıtlık veyahut istisna barındırmadığı takdirde 'kabul edilir'. 2' nin var olduğunu bilemediğimiz gibi, 2+2=4' ü de bilemeyiz. Ancak bunu kabul ederiz. Bir karşılığı olması gerekmediği gibi, çelişki barındırmıyor olması bu kabul için yeterlidir. Kabul ettik diye her şeyi biliyoruz diye bir genelleme yapamayız.
Edit: bu kabulü yapmamızın temel sebebi ise p+p=2p önermesinin doğru kabul edilmesidir. Fakat p+p'=q önermesini göze alacak olursak aslında 2+1=3 önermesinin doğruluğunu kabul etmek işbu önermeye göre daha zordur.