A Pizza nyelv

Helyesség

Sem a Java, sem a Pizza nem kínál helyességbizonyítási eszközöket.