ShoenfieldのMathematical Logicを読み始めた。

$\neg$と$\exists$と$\lor$だけで済ませるアプローチだった。