Az igaz fogalmának formalizálása a synthetikus logikában. - Kőnig Gyula (1910)