Metadata
Author: WikiMatrix
Data
Hungarian[hu]
Gödel ontológiai istenérve Isten létezésének egy Kurt Gödel matematikus által adott modális logikai levezetése.
Russian[ru]
Курт Гёдель математически доказывал существование Бога в рамках модальной логики.