Inače ako si matematičar trebao si primetiti da definicija data u komentaru pre tvog nije matematički korektna. Pa ni tu nema šta da se izvodi.
Pojavljivanje simbola u toj definiciji nije najjasnije. Na primer mala i velika slova da li su u pitanju isti ili različiti objekti ili objekat i njegova pojava, zatim x je pozitivna osobina a nakon toga je x bog ako poseduje osobinu G. Da li je u definiciji => implikacija ili relacija pooretka, itd.
Osim toga definicija nije dokaz.
Pa, tako kaži. Nisi ništa razumeo. OK. Na istoj stranici je dat link ka članku o modalnim logikama (ima ih više). To je neophodno predznanje. Ako sa time nisi upoznat, onda naravno da ne možeš razumeti izvođenje.