Logika piyrszego regyrōnku to je przikłod formalnego jynzyka.