https://artikeldigital.com/en/Gödel_logic