The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W.
基本的な体系は、一般的にGL (Gödel-Löb)、L または K4W として言及される。