Szép példája a sematikus gondolkodás formális logikájának.