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” vollzogen habe?


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