Parmenidész formalizálása - Bodnár M. István (1985)