OO is definitely not based on anything like set theory or finite state machines. OO has no formal backing, but it's often integrated with basic type theory in languages like Java and C#.