Dowód Aksjomatyzowalności Pełnych Systemów Wielowartościowych Rachunku Zdań - Ontify