 Carnap, Rudolf |  Frege, Gottlob |  Frege, Gottlob: theorem and foundations for arithmetic |  logic: free |  logical consequence |  logical constants |  object |  ontological arguments |  ontological commitment 