Who Is The Genius Of Modern Logic