Rudolf Carnap
These are logical consequences of the mathematical systems proposed by David Hilbert and Rudolf Carnap which were first adopted into linguistics by Hjelmslev whose ideas are reiterated by Chomsky: