אנגלית ⇄ יפנית רוסית +

extensional logic
.פיזיק	外延的論理学 (がいえんてき・ろんりがく)