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