Original: Pretoria itself was founded in 1855 by Marthinus Pretorius, a leader of the Voortrekkers, who named it after his father Andries Pretorius.
Simplified: Pretoria itself was founded in 1855 by Marthinus Pretorius. He was a leader of the Voortrekkers.