A Metamathematical Model in Plato's Definition of Logos