ルドルフ・カルナップ
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: