Also ist Elementarsatz ein solcher, der sich in dem Kalkül, wie ich es || ihn jetzt || heute benütze, nicht als Wahrheitsfunktion anderer Sätze darstellt.