Gibt es denn wirklich ein Stadium wo ich weiß daß ich 2 + 2 Äpfel habe noch ehe ich die Ersetzung von „2 + 2” durch „4” vo[z|l]lzogen habe?


  
(∃3) φ( ), (∃4) ψ( )
↘ ↙
(∃3 + 4) φ( ) ⌵ ψ( )